Viewing all changes in revision 644.

• browse files at revision 644
• compare with another revision
• download diff
• download tarball
• view history from revision 644

expand all

collapse all

Show diffs side-by-side

added

removed

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

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

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

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

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

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

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/SONToolProvider.java

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SONPlugin/src/org/workcraft/plugins/son/connections/SONConnection.java

SONPlugin/src/org/workcraft/plugins/son/connections/VisualSONConnection.java

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

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

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

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

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

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

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

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

SONPlugin/src/org/workcraft/plugins/son/elements/VisualCondition.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/elements/VisualTransitionNode.java

SONPlugin/src/org/workcraft/plugins/son/exception/InconsistencyTimeException.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/SONGUI.java

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

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

SONPlugin/src/org/workcraft/plugins/son/propertydescriptors/

SONPlugin/src/org/workcraft/plugins/son/propertydescriptors/ConnectionTimePropertyDescriptor.java

SONPlugin/src/org/workcraft/plugins/son/propertydescriptors/DurationPropertyDescriptor.java

SONPlugin/src/org/workcraft/plugins/son/propertydescriptors/EndTimePropertyDescriptor.java

SONPlugin/src/org/workcraft/plugins/son/propertydescriptors/StartTimePropertyDescriptor.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/TSONStructureTask.java

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

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

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

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

SONPlugin/src/org/workcraft/plugins/son/tools/SONSelectionTool.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/TimeValueDisable.java

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

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

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

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

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

WorkcraftCore/src/images/icons/svg/son-scenario-delete.svg

WorkcraftCore/src/images/icons/svg/son-scenario-export.svg

WorkcraftCore/src/images/icons/svg/son-scenario-import.svg

WorkcraftCore/src/images/icons/svg/son-scenario-reset.svg

WorkcraftCore/src/images/icons/svg/son-scenario-start.svg

WorkcraftCore/src/images/icons/svg/son-scenario.svg

WorkcraftCore/src/images/icons/svg/son-time.svg

WorkcraftCore/src/org/workcraft/gui/graph/tools/ConnectionTool.java

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1