107 Commits (overwrites)

Author SHA1 Message Date
sp c11e85e191 adversaries are allowed to move on goal 4 months ago
sp 3a34e0d065 properly calculate probabilites for new slippery 10 months ago
sp 122ba1c5f0 do not model idle states 10 months ago
sp 44caa12fe0 added logic for new slippery tiles 10 months ago
sp 2e51e51320 introduced new slippery tiles 10 months ago
sp a459232e59 temporarily made all states init 10 months ago
sp 83560bfc73 fixed conditional movement w.r.t doors 10 months ago
sp 801dc5b210 only print goal related actions if there is one 10 months ago
sp 3949611e83 change door interaction labels to '_toggle_' 10 months ago
sp 0ef98bf005 guard for IsCarrying formulae 10 months ago
Thomas Knoll acf32fbb98 added example for module 10 months ago
Thomas Knoll 073e1b28e5 fixed guard overwrite 11 months ago
Thomas Knoll 88f5e2e4fd more overwrites 11 months ago
Thomas Knoll df00224661 basic overwrite guard and update 11 months ago
sp 82849e5f67 changed NOFAULT constant 10 months ago
sp 8cc2b0c4da portable objects are now traversable 10 months ago
sp 43aebc463c add nonmovement action to modules 10 months ago
sp 7d7649bd06 include all action with indices 10 months ago
sp bd8bf2eca5 print collision formula when other agents present 10 months ago
sp cfb0d5da6f add done actions for smg models 10 months ago
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 10 months ago
sp 4b8444f6aa the agent cannot turn in lava 10 months ago
sp ba348a95f2 fixed bugs in slippery updates 10 months ago
sp 969dd87ada changed behaviour of slippery tiles 11 months ago
sp 8c5ff31ad3 NOFAULT is 3 instead of -1 11 months ago
sp 11658eb01f fixed multiple column row issues 11 months ago
sp 370740349c fixed turn guards regarding IsOnSlippery 11 months ago
sp 12b08ab068 set modelType based on the amount of agents 11 months ago
sp aa6fd9219e removed GridOptions 11 months ago
sp 46b4d5f9f3 adapted call to PrismModulesPrinter 11 months ago
sp 76d4295f73 removed printing of unnecessary formulas 11 months ago
sp 92d7d11daa switched most tabs to two whitespaces in output 11 months ago
sp 34a399972d print certain movement guards only when necessary 11 months ago
Thomas Knoll acd1a17082 renamed index 11 months ago
Thomas Knoll 4141e9f104 fixed config print of labels 11 months ago
Thomas Knoll 78c42f034e overwrite indices as vector 11 months ago
Thomas Knoll 91dcfb400e renamed action to command 11 months ago
Thomas Knoll 74645d95b3 basic support for probabiliteis in config 11 months ago
sp bac91e7b5d fixed bug in west slippery updates 11 months ago
sp 0a1f5ac405 switched to col and row instead of x and y 11 months ago
sp b50355deb9 x and y start at 1 11 months ago
sp 7e932200ca fixed additional semicolon in CannotSlip Formulas 11 months ago
sp d8c7e73a32 fixed some issues with formulas and semicolons 11 months ago
sp 7e5c86ba41 include algorithm in cell.cpp 11 months ago
sp 54af53e039 print player structs 11 months ago
sp 2ae37d0bc9 removed unused function 11 months ago
sp 8d33f43c7e refactored arbiter for smgs 11 months ago
sp 6cfa9a619b include agent stuck action for faultyBehaviour 11 months ago