← Back to branch summary

~workcraft/workcraft/trunk

~workcraft/workcraft/trunk

Viewing all changes in revision 696.

Committer: Danil Sokolov
Date: 2015-12-26 20:47:49 UTC
mfrom: (646.3.21 trunk-son-alter)
Revision ID: danilovesky@gmail.com-20151226204749-ubhfc1izy2oz2hdv

Merge proposal for son-analysis-alter-behaviours bluprint approved.

files added:
SONPlugin/src/org/workcraft/plugins/son/algorithm/ASONAlg.java

SONPlugin/src/org/workcraft/plugins/son/util/Marking.java

WorkcraftCore/src/images/icons/svg/son-error-tracing.svg

files modified:
SONPlugin/src/org/workcraft/plugins/son/SON.java

SONPlugin/src/org/workcraft/plugins/son/SONModule.java

SONPlugin/src/org/workcraft/plugins/son/SONSettings.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/BSONAlg.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/ErrorTracingAlg.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/EstimationAlg.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/PathAlgorithm.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/RelationAlgorithm.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java

SONPlugin/src/org/workcraft/plugins/son/elements/VisualBlock.java

SONPlugin/src/org/workcraft/plugins/son/elements/VisualEvent.java

SONPlugin/src/org/workcraft/plugins/son/elements/VisualPlaceNode.java

SONPlugin/src/org/workcraft/plugins/son/exception/UnboundedException.java

SONPlugin/src/org/workcraft/plugins/son/gui/ParallelSimDialog.java

SONPlugin/src/org/workcraft/plugins/son/gui/TimeConsistencyDialog.java

SONPlugin/src/org/workcraft/plugins/son/gui/TimeEstimatorDialog.java

SONPlugin/src/org/workcraft/plugins/son/tasks/AbstractStructuralVerification.java

SONPlugin/src/org/workcraft/plugins/son/tasks/BSONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/CSONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/ONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/ReachabilityTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/SONMainTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/StructuralVerification.java

SONPlugin/src/org/workcraft/plugins/son/tasks/TSONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tools/ColorResetTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/ErrTracingDisable.java

SONPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/ScenarioGeneratorTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/StructurePropertyChecker.java

SONPlugin/src/org/workcraft/plugins/son/tools/TestTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/TimeConsistencyChecker.java

SONPlugin/src/org/workcraft/plugins/son/tools/TimeValueSetterTool.java

SONPlugin/src/org/workcraft/plugins/son/util/MarkingRef.java

SONPlugin/src/org/workcraft/plugins/son/util/NodesRef.java

SONPlugin/src/org/workcraft/plugins/son/util/ScenarioRef.java

Show diffs side-by-side

added added

removed removed

SONPlugin/src/org/workcraft/plugins/son/SON.java

SONPlugin/src/org/workcraft/plugins/son/SONModule.java

SONPlugin/src/org/workcraft/plugins/son/SONSettings.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/ASONAlg.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/BSONAlg.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/ErrorTracingAlg.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/EstimationAlg.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/PathAlgorithm.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/RelationAlgorithm.java

SONPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java

SONPlugin/src/org/workcraft/plugins/son/elements/VisualBlock.java

SONPlugin/src/org/workcraft/plugins/son/elements/VisualEvent.java

SONPlugin/src/org/workcraft/plugins/son/elements/VisualPlaceNode.java

SONPlugin/src/org/workcraft/plugins/son/exception/UnboundedException.java

SONPlugin/src/org/workcraft/plugins/son/gui/ParallelSimDialog.java

SONPlugin/src/org/workcraft/plugins/son/gui/TimeConsistencyDialog.java

SONPlugin/src/org/workcraft/plugins/son/gui/TimeEstimatorDialog.java

SONPlugin/src/org/workcraft/plugins/son/tasks/AbstractStructuralVerification.java

SONPlugin/src/org/workcraft/plugins/son/tasks/BSONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/CSONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/ONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/ReachabilityTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/SONMainTask.java

SONPlugin/src/org/workcraft/plugins/son/tasks/StructuralVerification.java

SONPlugin/src/org/workcraft/plugins/son/tasks/TSONStructureTask.java

SONPlugin/src/org/workcraft/plugins/son/tools/ColorResetTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/ErrTracingDisable.java

SONPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/ScenarioGeneratorTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/StructurePropertyChecker.java

SONPlugin/src/org/workcraft/plugins/son/tools/TestTool.java

SONPlugin/src/org/workcraft/plugins/son/tools/TimeConsistencyChecker.java

SONPlugin/src/org/workcraft/plugins/son/tools/TimeValueSetterTool.java

SONPlugin/src/org/workcraft/plugins/son/util/Marking.java

SONPlugin/src/org/workcraft/plugins/son/util/MarkingRef.java

SONPlugin/src/org/workcraft/plugins/son/util/NodesRef.java

SONPlugin/src/org/workcraft/plugins/son/util/ScenarioRef.java

WorkcraftCore/src/images/icons/svg/son-error-tracing.svg

Older »