 sp
|
a459232e59
|
temporarily made all states init
|
11 months ago |
|
sp
|
83560bfc73
|
fixed conditional movement w.r.t doors
|
11 months ago |
|
sp
|
801dc5b210
|
only print goal related actions if there is one
|
11 months ago |
|
sp
|
3949611e83
|
change door interaction labels to '_toggle_'
|
11 months ago |
|
sp
|
0ef98bf005
|
guard for IsCarrying formulae
|
11 months ago |
 Thomas Knoll
|
acf32fbb98
|
added example for module
|
11 months ago |
|
Thomas Knoll
|
063cf9c0ee
|
added example probabilities
|
11 months ago |
|
Thomas Knoll
|
d964f557cc
|
added example guards and formula
|
11 months ago |
|
Thomas Knoll
|
073e1b28e5
|
fixed guard overwrite
|
11 months ago |
|
Thomas Knoll
|
aec701a72e
|
changed example for module overwrite
|
11 months ago |
|
Thomas Knoll
|
8599aab515
|
exampleconfig
|
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
|
11 months ago |
|
sp
|
8cc2b0c4da
|
portable objects are now traversable
This is also changes keys to not be dropable anymore.
|
11 months ago |
|
sp
|
43aebc463c
|
add nonmovement action to modules
This is needed to correctly shield when staying at a certain place
should not be allowed
|
11 months ago |
|
sp
|
7d7649bd06
|
include all action with indices
|
11 months ago |
|
sp
|
bd8bf2eca5
|
print collision formula when other agents present
|
11 months ago |
|
sp
|
cfb0d5da6f
|
add done actions for smg models
|
11 months ago |
|
sp
|
af2ee862e6
|
objects are initially not picked up
|
11 months ago |
|
sp
|
a1ac41b01b
|
fix bug with conditional movement formulas
|
11 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
|
11 months ago |
|
sp
|
4b8444f6aa
|
the agent cannot turn in lava
|
11 months ago |
|
sp
|
ba348a95f2
|
fixed bugs in slippery updates
|
11 months ago |
|
sp
|
969dd87ada
|
changed behaviour of slippery tiles
|
11 months ago |
|
sp
|
5d373c5cb8
|
remove debug printout to std::cout
|
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
|
fd2cc9e07f
|
set defaults for probIntended and faultyProb
|
11 months ago |
|
sp
|
eda22afaa9
|
removed some ws
|
11 months ago |
|
sp
|
12b08ab068
|
set modelType based on the amount of agents
|
11 months ago |
|
sp
|
aa6fd9219e
|
removed GridOptions
|
11 months ago |
|
sp
|
e65a46e99a
|
fixed indentation
|
11 months ago |
 Stefan Pranger
|
a57420a4ab
|
Merge pull request 'Remove Unnecessary Guards and Formulas' (#13) from remove_unnecessary_guards into main
Reviewed-on: #13
|
12 months ago |
|
sp
|
46b4d5f9f3
|
adapted call to PrismModulesPrinter
|
12 months ago |
|
sp
|
76d4295f73
|
removed printing of unnecessary formulas
|
12 months ago |
|
sp
|
92d7d11daa
|
switched most tabs to two whitespaces in output
|
12 months ago |
|
sp
|
34a399972d
|
print certain movement guards only when necessary
|
12 months ago |
|
Stefan Pranger
|
c485844e1d
|
Merge pull request 'Update of Yaml Config and Config Parsing' (#10) from yaml_config_changes into main
Reviewed-on: #10
|
12 months ago |
|
Thomas Knoll
|
acd1a17082
|
renamed index
|
12 months ago |
|
Thomas Knoll
|
4141e9f104
|
fixed config print of labels
|
12 months ago |
|
Thomas Knoll
|
78c42f034e
|
overwrite indices as vector
|
12 months ago |
|
Thomas Knoll
|
5a94f004fb
|
added exampleconfig
|
12 months ago |
|
Thomas Knoll
|
91dcfb400e
|
renamed action to command
|
12 months ago |
|
Thomas Knoll
|
aad118cf62
|
config parsing for probabilities
|
12 months ago |
|
Thomas Knoll
|
74645d95b3
|
basic support for probabiliteis in config
|
12 months ago |
|
sp
|
edcab9c0a3
|
removed unused options from cli option parsing
Note: Some of these functionalities might return in the future
|
12 months ago |
|
Stefan Pranger
|
ba13faa3ae
|
Merge pull request 'Switched to colAgent and rowAgent' (#9) from small_fixes into main
Reviewed-on: #9
|
12 months ago |
|
sp
|
bac91e7b5d
|
fixed bug in west slippery updates
|
12 months ago |
