Labels Milestones

New Pull Request

Refactoring of Prism Output #1

Merged

sp merged 38 commits from adversaries_and_refactoring into tempestpyadaption 11 months ago

Conversation 0 Commits 38 Files Changed 13

38 Commits

Author	SHA1	Message	Date
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
sp	cdd9611f8b	removed viewVariable	11 months ago
sp	6de02b7ab8	moved PrismModulesPrinter methods to private	11 months ago
sp	48dcee2a59	small cleanup	11 months ago
sp	aca9ee719c	removed unused code	11 months ago
sp	ff0369cfb1	added move module as arbiter	11 months ago
sp	9be03f2701	summary commit This adds: - slippery turn actions - agent name to set of actions map - modules for faultyBehaviour	11 months ago
sp	a8ac3098a7	default formulas to false This will be changed to remove the unnecessary guards instead	11 months ago
sp	2b7d5bc9a9	removed dead code	11 months ago
sp	c6f7bb27be	added slippery turn actions	11 months ago
sp	8cf91e700c	WIP: changed probabilities in main for testing	11 months ago
sp	ea9d61ddd5	added slippery movement updates This also: - adds direction update helpers - adds probIntended to PrismModulesPrinter - removes dead code	11 months ago
sp	8c6a2bf327	moved probIntended to Grid members	11 months ago
sp	bb2bef9b04	updates is a vector of update	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	47f14bdc23	removed debug output	11 months ago
sp	5bea12f780	create formulas with relative offset for portable objects	11 months ago
sp	14e6375877	faultyProbability is float	11 months ago
sp	13974739d9	commit to (col, row)	11 months ago
sp	3999e778fe	added turn actions for robots also removed some old methods	11 months ago
sp	7faa8d1efb	added actionId and update typedefs	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	26a7808eeb	fix carrying variable	11 months ago
sp	ca70595b58	WIP major rework of PrismModulesPrinter will probably get squashed, otw summary in later commit	11 months ago
sp	5955bb9791	isNextTo formulas for doors	11 months ago
sp	6f541c1bc2	moved capitalize util to PrismPrinter	11 months ago
sp	8766110068	getType method for cell	11 months ago
sp	1729ba7c56	summary commit added cells for balls more formulas in PrismFormulaPrinter	11 months ago
sp	d07807de61	added PrismFormulaPrinter to CMakeLists	11 months ago
sp	b0b9dd61dc	add agent and adv to floor cells	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	1b81737ce7	add yaml-cpp as dependency	11 months ago