← Back to branch summary

~danilovesky/workcraft/trunk-save-trace

~danilovesky/workcraft/trunk-save-trace

Viewing all changes in revision 640.

Committer: Danil Sokolov
Date: 2015-08-04 15:32:28 UTC
Revision ID: danilovesky@gmail.com-20150804153228-5cwqu9cekrirkec2

Clean up of code for Transformations, Verification, Synthesis and Encoding menus.

files added:
WorkcraftCore/src/org/workcraft/SynthesisTool.java

WorkcraftCore/src/org/workcraft/TransformationTool.java

WorkcraftCore/src/org/workcraft/VerificationTool.java

files modified:
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CheckCircuitTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/VisualCPOG.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ImportEventLog.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/PGMinerTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoSingleLiteralTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowDeadlockTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowHazardTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/DeadlockCheckerTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/DeterminismCheckerTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/ReachabilityCheckerTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/ReversibilityCheckerTool.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConformationChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCustomPropertyChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesis.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/TransitionContractorTool.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesis.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/CheckDeadlockTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/DummyToSignalTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesExplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesImplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalMirrorTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalToDummyTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/TransitionContractorTool.java

WorkcraftCore/src/org/workcraft/gui/MainMenu.java

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

WorkcraftCore/src/org/workcraft/gui/workspace/WorkspacePopupProvider.java

WorkcraftCore/src/org/workcraft/plugins/transform/CopyLablesTool.java

Show diffs side-by-side

added added

removed removed

CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CheckCircuitTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/VisualCPOG.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ImportEventLog.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/PGMinerTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tools/ScencoSingleLiteralTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowDeadlockTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowHazardTool.java

DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/DeadlockCheckerTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/DeterminismCheckerTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/ReachabilityCheckerTool.java

FsmPlugin/src/org/workcraft/plugins/fsm/tools/ReversibilityCheckerTool.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConformationChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCustomPropertyChecker.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesis.java

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/TransitionContractorTool.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesis.java

PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/CheckDeadlockTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/DummyToSignalTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesExplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesImplicitTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalMirrorTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/SignalToDummyTransitionConverterTool.java

STGPlugin/src/org/workcraft/plugins/stg/tools/TransitionContractorTool.java

WorkcraftCore/src/org/workcraft/SynthesisTool.java

WorkcraftCore/src/org/workcraft/TransformationTool.java

WorkcraftCore/src/org/workcraft/VerificationTool.java

WorkcraftCore/src/org/workcraft/gui/MainMenu.java

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

WorkcraftCore/src/org/workcraft/gui/workspace/WorkspacePopupProvider.java

WorkcraftCore/src/org/workcraft/plugins/transform/CopyLablesTool.java

Older »