sp
af2ee862e6
objects are initially not picked up
10 months ago
sp
a1ac41b01b
fix bug with conditional movement formulas
10 months ago
sp
ec5480f670
use init struct
We do not know the view direction of all of the agents, hence we
iterate over all possible combinations as initial states
10 months ago
sp
76d4295f73
removed printing of unnecessary formulas
11 months ago
sp
0a1f5ac405
switched to col and row instead of x and y
11 months ago
sp
7e932200ca
fixed additional semicolon in CannotSlip Formulas
11 months ago
sp
a8ac3098a7
default formulas to false
This will be changed to remove the unnecessary guards instead
11 months ago
sp
389963a7c4
added formulas to check where a robot can slip to
11 months ago
sp
48a90f0739
added walls to PrismFormulaPrinter
also renamed methods for surrounding cells to adjacent
11 months ago
sp
5bea12f780
create formulas with relative offset for portable objects
11 months ago
sp
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)
11 months ago
sp
5955bb9791
isNextTo formulas for doors
11 months ago
sp
6f541c1bc2
moved capitalize util to PrismPrinter
11 months ago
sp
9ea5c0194d
add slip and lava formulas
this also adds a disjunction over all conditional checks
11 months ago
sp
7f8e195412
added methods for formulas with conditions
11 months ago
sp
9f03a14347
init PrismFormulaPrinter
first attempt to enforce DRY for formulas in PrismModulesPrinter
11 months ago
sp