Add Functionality to Change Generated Code #17

Open

tknoll wants to merge 19 commits from overwrites into modeltype

Author	SHA1	Message	Date
sp	b816a1badb	changed CMake to assume yaml cpp is installed	6 months ago
sp	c11e85e191	adversaries are allowed to move on goal	7 months ago
sp	3a34e0d065	properly calculate probabilites for new slippery tiles	1 year ago
sp	122ba1c5f0	do not model idle states	1 year ago
sp	44caa12fe0	added logic for new slippery tiles	1 year ago
sp	2e51e51320	introduced new slippery tiles	1 year ago
sp	a459232e59	temporarily made all states init	1 year ago
sp	83560bfc73	fixed conditional movement w.r.t doors	1 year ago
sp	801dc5b210	only print goal related actions if there is one	1 year ago
sp	3949611e83	change door interaction labels to '_toggle_'	1 year ago
sp	0ef98bf005	guard for IsCarrying formulae	1 year ago
Thomas Knoll	acf32fbb98	added example for module	1 year ago
Thomas Knoll	063cf9c0ee	added example probabilities	1 year ago
Thomas Knoll	d964f557cc	added example guards and formula	1 year ago
Thomas Knoll	073e1b28e5	fixed guard overwrite	1 year ago
Thomas Knoll	aec701a72e	changed example for module overwrite	1 year ago
Thomas Knoll	8599aab515	exampleconfig	1 year ago
Thomas Knoll	88f5e2e4fd	more overwrites	1 year ago
Thomas Knoll	df00224661	basic overwrite guard and update	1 year ago