lp:~tapaal-contributor/verifypn/update-parser
Created by
Thomas Pedersen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/verifypn/update-parser
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
- Peter Gjøl Jensen: Approve
-
Diff: 9294 lines (+3374/-2414)37 files modifiedinclude/PetriEngine/AbstractPetriNetBuilder.h (+4/-4)
include/PetriEngine/Colored/ArcIntervals.h (+11/-58)
include/PetriEngine/Colored/BindingGenerator.h (+32/-25)
include/PetriEngine/Colored/ColoredNetStructures.h (+4/-2)
include/PetriEngine/Colored/ColoredPetriNetBuilder.h (+30/-27)
include/PetriEngine/Colored/Colors.h (+101/-192)
include/PetriEngine/Colored/EquivalenceClass.h (+26/-54)
include/PetriEngine/Colored/EquivalenceVec.h (+69/-0)
include/PetriEngine/Colored/Expressions.h (+341/-385)
include/PetriEngine/Colored/GuardRestrictor.h (+86/-67)
include/PetriEngine/Colored/IntervalGenerator.h (+22/-172)
include/PetriEngine/Colored/Intervals.h (+204/-257)
include/PetriEngine/Colored/Multiset.h (+9/-9)
include/PetriEngine/Colored/PartitionBuilder.h (+46/-29)
include/PetriEngine/PQL/Expressions.h (+37/-1)
include/PetriEngine/PQL/PQL.h (+2/-0)
include/PetriEngine/PetriNetBuilder.h (+2/-2)
include/PetriEngine/Reducer.h (+4/-5)
include/PetriEngine/TAR/range.h (+7/-3)
include/PetriEngine/options.h (+5/-1)
include/PetriParse/PNMLParser.h (+4/-4)
src/LTL/LTLMain.cpp (+1/-3)
src/PetriEngine/Colored/BindingGenerator.cpp (+134/-76)
src/PetriEngine/Colored/CMakeLists.txt (+3/-1)
src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+444/-180)
src/PetriEngine/Colored/Colors.cpp (+53/-78)
src/PetriEngine/Colored/EquivalenceClass.cpp (+50/-58)
src/PetriEngine/Colored/EquivalenceVec.cpp (+86/-0)
src/PetriEngine/Colored/GuardRestrictor.cpp (+301/-177)
src/PetriEngine/Colored/IntervalGenerator.cpp (+197/-0)
src/PetriEngine/Colored/Multiset.cpp (+34/-34)
src/PetriEngine/Colored/PartitionBuilder.cpp (+304/-225)
src/PetriEngine/PQL/Expressions.cpp (+373/-5)
src/PetriEngine/PetriNetBuilder.cpp (+1/-2)
src/PetriEngine/Reducer.cpp (+4/-27)
src/PetriParse/PNMLParser.cpp (+107/-110)
src/VerifyPN.cpp (+236/-141)
Branch information
Recent revisions
- 287. By Thomas Pedersen <email address hidden>
-
Fix inequality implementation to not just invert the varmap
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn