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	3 months ago
sp	c11e85e191	adversaries are allowed to move on goal	4 months ago
sp	3a34e0d065	properly calculate probabilites for new slippery tiles	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	063cf9c0ee	added example probabilities	10 months ago
Thomas Knoll	d964f557cc	added example guards and formula	10 months ago
Thomas Knoll	073e1b28e5	fixed guard overwrite	10 months ago
Thomas Knoll	aec701a72e	changed example for module overwrite	10 months ago
Thomas Knoll	8599aab515	exampleconfig	10 months ago
Thomas Knoll	88f5e2e4fd	more overwrites	10 months ago
Thomas Knoll	df00224661	basic overwrite guard and update	10 months ago