lp:~verifypn-stub/verifypn/conjunction

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 192

Jiri Srba: Approve on 2017-12-14

Diff: 3045 lines (+1285/-498)

21 files modified

PetriEngine/NetStructures.h (+0/-6)
PetriEngine/PQL/Contexts.h (+17/-7)
PetriEngine/PQL/Expressions.cpp (+963/-269)
PetriEngine/PQL/Expressions.h (+185/-82)
PetriEngine/PQL/PQL.cpp (+16/-1)
PetriEngine/PQL/PQL.h (+4/-2)
PetriEngine/PetriNet.cpp (+8/-0)
PetriEngine/PetriNet.h (+6/-5)
PetriEngine/PetriNetBuilder.cpp (+3/-2)
PetriEngine/PetriNetBuilder.h (+18/-17)
PetriEngine/Reducer.cpp (+2/-2)
PetriEngine/Reducer.h (+12/-10)
PetriEngine/Simplification/LinearProgram.cpp (+2/-2)
PetriEngine/Simplification/LinearProgram.h (+1/-1)
PetriEngine/Simplification/LinearPrograms.h (+10/-10)
PetriEngine/SuccessorGenerator.h (+5/-0)
PetriParse/PNMLParser.cpp (+0/-22)
PetriParse/PNMLParser.h (+1/-8)
PetriParse/QueryXMLParser.cpp (+6/-14)
PetriParse/QueryXMLParser.h (+1/-2)
VerifyPN.cpp (+25/-36)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

215. By Jiri Srba <email address hidden> on 2017-12-14

removed unused lambda function

214. By Peter Gjøl Jensen on 2017-12-13

fixed warnings

213. By Peter Gjøl Jensen on 2017-12-12

renabled formula output

212. By Peter Gjøl Jensen on 2017-12-11

small things

211. By Peter Gjøl Jensen on 2017-12-11

made merging a tree-construction to avoid stack overflows

210. By Peter Gjøl Jensen on 2017-12-11

changed to best setting, removed output, fixed size computation to be more fair

209. By Peter Gjøl Jensen on 2017-12-08

changed to const ref

208. By Peter Gjøl Jensen on 2017-12-08

replaced map with unordered version

207. By Peter Gjøl Jensen on 2017-12-08

seems to do the trick

206. By Peter Gjøl Jensen on 2017-12-07

fixed output and removed expensive size-call