lp:~verifypn-cpn/verifypn/partitioning
Created by
Thomas Pedersen
and last modified
- Get this branch:
- bzr branch lp:~verifypn-cpn/verifypn/partitioning
Members of
verifypn-cpn
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: Pending requested
-
Diff: 473 lines (+183/-41)9 files modifiedinclude/PetriEngine/Colored/Colors.h (+15/-0)
include/PetriEngine/Colored/Expressions.h (+13/-7)
include/PetriEngine/Colored/Intervals.h (+1/-7)
include/PetriEngine/Colored/PartitionBuilder.h (+11/-1)
include/PetriParse/PNMLParser.h (+4/-0)
src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+17/-13)
src/PetriEngine/Colored/PartitionBuilder.cpp (+14/-0)
src/PetriParse/PNMLParser.cpp (+107/-13)
src/VerifyPN.cpp (+1/-0)
- Peter Gjøl Jensen: Pending requested
-
Diff: 2672 lines (+1506/-351)20 files modifiedinclude/PetriEngine/Colored/BindingGenerator.h (+35/-0)
include/PetriEngine/Colored/ColoredPetriNetBuilder.h (+23/-4)
include/PetriEngine/Colored/Colors.h (+0/-1)
include/PetriEngine/Colored/EquivalenceClass.h (+79/-0)
include/PetriEngine/Colored/Expressions.h (+121/-33)
include/PetriEngine/Colored/GuardRestrictor.h (+64/-22)
include/PetriEngine/Colored/IntervalGenerator.h (+5/-4)
include/PetriEngine/Colored/Intervals.h (+133/-5)
include/PetriEngine/Colored/PartitionBuilder.h (+49/-0)
include/PetriEngine/options.h (+3/-1)
include/PetriParse/PNMLParser.h (+4/-3)
src/PetriEngine/Colored/BindingGenerator.cpp (+106/-2)
src/PetriEngine/Colored/CMakeLists.txt (+2/-0)
src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+151/-40)
src/PetriEngine/Colored/EquivalenceClass.cpp (+116/-0)
src/PetriEngine/Colored/GuardRestrictor.cpp (+255/-215)
src/PetriEngine/Colored/PartitionBuilder.cpp (+333/-0)
src/PetriEngine/PQL/Expressions.cpp (+1/-1)
src/PetriParse/PNMLParser.cpp (+7/-6)
src/VerifyPN.cpp (+19/-14)
Branch information
Recent revisions
- 276. By Thomas Pedersen <email address hidden>
-
Disable partitioning of unbound variables when partitioning is disabled
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn