~tapaal-dist-ctl/verifypn/par-ctl : changes

~tapaal-dist-ctl/verifypn/par-ctl » Changes to PetriEngine/SuccessorGenerator.cpp from revision 185

From Revision 185

Rev	Summary	Authors	Date
183	merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpr... merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions adding arithmetic expressions to CTL queries	Jiri Srba	6 years ago
155	merged in lp:~verifypn-stub/verifypn/flagship merged in lp:~verifypn-stub/verifypn/flagship	Jiri Srba	7 years ago
93	Fixed problems with optimizations, orphans and inhibitors Fixed problems with optimizations, orphans and inhibitors	Peter Gjøl Jensen	7 years ago
89	minor errors with inhibitor, fixed deadlock, removed optimiz... minor errors with inhibitor, fixed deadlock, removed optimization in successor generator creating problems with inhibitors	Peter Gjøl Jensen	7 years ago
87	added inhibitor-arcs added inhibitor-arcs	Peter Gjøl Jensen	7 years ago
73	Fixed reduction bug Fixed reduction bug	Peter Gjøl Jensen	8 years ago
70	Refactor Refactor	Peter Gjøl Jensen	8 years ago
68	First refactoring First refactoring	Peter Gjøl Jensen	8 years ago