lp:~libowen96/workcraft/trunk-son-reachability
Created by
Bowen Li
and last modified
- Get this branch:
- bzr branch lp:~libowen96/workcraft/trunk-son-reachability
Branch merges
Propose for merging
No branches
dependent on this one.
- Danil Sokolov: Approve
-
Diff: 12704 lines (+6176/-4811) (has conflicts)56 files modified.bzrignore (+2/-1)
SONPlugin/.classpath (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/ONGroup.java (+11/-5)
SONPlugin/src/org/workcraft/plugins/son/Phase.java (+5/-4)
SONPlugin/src/org/workcraft/plugins/son/SON.java (+21/-1)
SONPlugin/src/org/workcraft/plugins/son/SONModule.java (+3/-1)
SONPlugin/src/org/workcraft/plugins/son/VisualSON.java (+13/-12)
SONPlugin/src/org/workcraft/plugins/son/algorithm/BSONAlg.java (+137/-27)
SONPlugin/src/org/workcraft/plugins/son/algorithm/BSONCycleAlg.java (+102/-0)
SONPlugin/src/org/workcraft/plugins/son/algorithm/BSONPathAlg.java (+0/-81)
SONPlugin/src/org/workcraft/plugins/son/algorithm/CSONCycleAlg.java (+148/-0)
SONPlugin/src/org/workcraft/plugins/son/algorithm/CSONPathAlg.java (+0/-69)
SONPlugin/src/org/workcraft/plugins/son/algorithm/CycleAlgorithm.java (+66/-0)
SONPlugin/src/org/workcraft/plugins/son/algorithm/ONCycleAlg.java (+77/-0)
SONPlugin/src/org/workcraft/plugins/son/algorithm/ONPathAlg.java (+0/-73)
SONPlugin/src/org/workcraft/plugins/son/algorithm/Path.java (+5/-2)
SONPlugin/src/org/workcraft/plugins/son/algorithm/PathAlgorithm.java (+79/-65)
SONPlugin/src/org/workcraft/plugins/son/algorithm/RelationAlgorithm.java (+130/-40)
SONPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java (+236/-300)
SONPlugin/src/org/workcraft/plugins/son/connections/VisualSONConnection.java (+22/-31)
SONPlugin/src/org/workcraft/plugins/son/elements/PlaceNode.java (+10/-0)
SONPlugin/src/org/workcraft/plugins/son/elements/VisualPlaceNode.java (+2/-3)
SONPlugin/src/org/workcraft/plugins/son/gui/OutputArea.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/gui/ParallelSimDialog.java (+0/-355)
SONPlugin/src/org/workcraft/plugins/son/gui/StructureVerifyDialog.java (+6/-3)
SONPlugin/src/org/workcraft/plugins/son/tasks/AbstractStructuralVerification.java (+109/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/BSONStructureTask.java (+425/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/CSONStructureTask.java (+241/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/ONStructureTask.java (+202/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/ReachabilityTask.java (+322/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/SONMainTask.java (+244/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/StructuralVerification.java (+24/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/TSONStructureTask.java (+124/-0)
SONPlugin/src/org/workcraft/plugins/son/tasks/VerificationResult.java (+14/-0)
SONPlugin/src/org/workcraft/plugins/son/test/test.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/tools/ReachabilityTool.java (+42/-0)
SONPlugin/src/org/workcraft/plugins/son/tools/SONConnectionTool.java (+6/-0)
SONPlugin/src/org/workcraft/plugins/son/tools/SONSelectionTool.java (+9/-0)
SONPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java (+149/-97)
SONPlugin/src/org/workcraft/plugins/son/tools/StructurePropertyChecker.java (+7/-10)
SONPlugin/src/org/workcraft/plugins/son/tools/TestTool.java (+33/-18)
SONPlugin/src/org/workcraft/plugins/son/verify/AbstractStructuralVerification.java (+0/-90)
SONPlugin/src/org/workcraft/plugins/son/verify/BSONStructureTask.java (+0/-355)
SONPlugin/src/org/workcraft/plugins/son/verify/CSONStructureTask.java (+0/-246)
SONPlugin/src/org/workcraft/plugins/son/verify/ONStructureTask.java (+0/-207)
SONPlugin/src/org/workcraft/plugins/son/verify/SONMainTask.java (+0/-248)
SONPlugin/src/org/workcraft/plugins/son/verify/StructuralVerification.java (+0/-24)
SONPlugin/src/org/workcraft/plugins/son/verify/TSONStructureTask.java (+0/-134)
SONPlugin/src/org/workcraft/plugins/son/verify/VerificationResult.java (+0/-14)
STGPlugin/src/org/workcraft/plugins/stg/javacc/DotGParser.java (+842/-0)
STGPlugin/src/org/workcraft/plugins/stg/javacc/DotGParserConstants.java (+81/-81)
STGPlugin/src/org/workcraft/plugins/stg/javacc/DotGParserTokenManager.java (+1037/-1037)
WorkcraftCore/src/org/workcraft/dom/DefaultMathNodeRemover.java (+13/-0)
WorkcraftCore/src/org/workcraft/plugins/layout/javacc/DotParser.java (+403/-403)
WorkcraftCore/src/org/workcraft/plugins/layout/javacc/DotParserConstants.java (+54/-54)
WorkcraftCore/src/org/workcraft/plugins/layout/javacc/DotParserTokenManager.java (+717/-717)
Related bugs
Related blueprints
Recent revisions
- 584. By Bowen Li
-
sync cycle in reachabilityTask should contains channel place in order to get its preset.
- 583. By Bowen Li
-
reset reverse simulation state when tool is activated or deactivated;
marking and causal procesessors in reachability task and simulation tool are passed by workcraft node reference (getNodeReference). cancel memory would case reassign net and change node references - 582. By Bowen Li
-
optimising token setting rule for BSON in simulationAlg.
class.
correct BSON reachability theroy.
marking is reachable if
1. none of the marked conditions is consumed by causalPredecessors.
2. all of corresponding abstract conditions are not consumed by causalPredecessors
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)