Refactoring of Prism Output

New Pull Request

Conversation 0 Commits 38 Files Changed 13

sp commented 2 years ago

Owner

There is no content yet.

sp added 2 commits 2 years ago

1b81737ce7 add yaml-cpp as dependency

9f03a14347 init PrismFormulaPrinter

first attempt to enforce DRY for formulas in PrismModulesPrinter

sp added 2 commits 2 years ago

7f8e195412 added methods for formulas with conditions

9ea5c0194d add slip and lava formulas

this also adds a disjunction over all conditional checks

sp added 7 commits 2 years ago

b0b9dd61dc add agent and adv to floor cells

d07807de61 added PrismFormulaPrinter to CMakeLists

1729ba7c56 summary commit

added cells for balls
more formulas in PrismFormulaPrinter

8766110068 getType method for cell

6f541c1bc2 moved capitalize util to PrismPrinter

5955bb9791 isNextTo formulas for doors

ca70595b58 WIP major rework of PrismModulesPrinter

will probably get squashed, otw summary in later commit

sp added 2 commits 2 years ago

26a7808eeb fix carrying variable

4d548f9502 first steps towards robots modules

This includes:
 - PrismFormulaPrinter.print takes agentName as argument
 - added formulas for goals, isnextto, portableobjects
 - added movement helper for deterministic movement
 - removed enforceOneWays (for now)

sp added 2 commits 2 years ago

7faa8d1efb added actionId and update typedefs

3999e778fe added turn actions for robots

also removed some old methods

sp added 3 commits 2 years ago

13974739d9 commit to (col, row)

14e6375877 faultyProbability is float

5bea12f780 create formulas with relative offset for portable objects

sp added 1 commit 2 years ago

47f14bdc23 removed debug output

sp added 5 commits 2 years ago

48a90f0739 added walls to PrismFormulaPrinter

also renamed methods for surrounding cells to adjacent

389963a7c4 added formulas to check where a robot can slip to

bb2bef9b04 updates is a vector of update

8c6a2bf327 moved probIntended to Grid members

ea9d61ddd5 added slippery movement updates

This also:
 - adds direction update helpers
 - adds probIntended to PrismModulesPrinter
 - removes dead code

sp added 1 commit 2 years ago

8cf91e700c WIP: changed probabilities in main for testing

sp added 4 commits 2 years ago

c6f7bb27be added slippery turn actions

2b7d5bc9a9 removed dead code

a8ac3098a7 default formulas to false

This will be changed to remove the unnecessary guards instead

9be03f2701 summary commit

This adds:
 - slippery turn actions
 - agent name to set of actions map
 - modules for faultyBehaviour

sp added 1 commit 2 years ago

ff0369cfb1 added move module as arbiter

sp added 8 commits 2 years ago

aca9ee719c removed unused code

48dcee2a59 small cleanup

6de02b7ab8 moved PrismModulesPrinter methods to private

cdd9611f8b removed viewVariable

6cfa9a619b include agent stuck action for faultyBehaviour

8d33f43c7e refactored arbiter for smgs

2ae37d0bc9 removed unused function

54af53e039 print player structs

sp changed title from ~~WIP: Refactoring of Prism Output~~ to Refactoring of Prism Output 2 years ago

sp merged commit 4abe0eaa86 into tempestpyadaption 2 years ago

sp referenced this issue from a commit 2 years ago

Merge pull request 'Refactoring of Prism Output' (#1) from adversaries_and_refactoring into tempestpyadaption

The pull request has been merged as 4abe0eaa86.

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Refactoring of Prism Output #1