← Back to branch summary

~workcraft/workcraft/2.0

~workcraft/workcraft/2.0

Viewing all changes in revision 480.

Committer: Arseniy Alekseyev
Date: 2010-10-18 13:34:26 UTC
mfrom: (470.1.23 Workcraft2)
Revision ID: rotsor@gmail.com-20101018133426-82fh2j5kodyeew5d

Merged changes from Stan with minor amendments.

files added:
CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitModelDescriptor.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitModule.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitSelectionTool.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitSimulationTool.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitToolsProvider.java

CircuitPlugin/src/org/workcraft/plugins/circuit/ContactGeneratorTool.java

CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation

CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/FunctionDeserialiser.java

CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/FunctionSerialiser.java

CircuitPlugin/src/org/workcraft/plugins/circuit/stg

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitPetriNetGenerator.java

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/GenerateCircuitPetriNetTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Clause.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Nf.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf/Dnf.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf/DnfClause.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf/DnfGenerator.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatStgReachabilityResultHandler.java

Workcraft/src/images/icons/svg/circuit-component.svg

Workcraft/src/images/icons/svg/circuit-formula.svg

Workcraft/src/images/icons/svg/circuit-joint.svg

Workcraft/src/images/icons/svg/circuit-port.svg

files renamed:
CircuitPlugin/src/org/workcraft/plugins/circuit/Formula.java => CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionContact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFormula.java => CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionContact.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfLiteral.java => CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Literal.java

files modified:
.bzrignore

CircuitPlugin/.classpath

CircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/Contact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/Joint.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualJoint.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CleverCnfGenerator.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Cnf.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfClause.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfGeneratingOneHotNumberProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfGeneratingOptimiser.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfOperations.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfSorter.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/HumanReadableCnfPrinter.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/MiniSatCnfPrinter.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/SimpleCnfTaskProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/TwoHotNumberProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/TwoHotRange.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/TwoHotRangeProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/expressions/BooleanOperations.java

CpogsPlugin/src/org/workcraft/plugins/cpog/serialisation/BooleanFormulaSerialiser.java

CpogsPlugin/src/org/workcraft/plugins/cpog/serialisation/BooleanFunctionDeserialiser.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNet.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetModel.java

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

STGPlugin/.project

STGPlugin/src/org/workcraft/plugins/stg/STG.java

STGPlugin/src/org/workcraft/plugins/stg/VisualDummyTransition.java

STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java

Workcraft/.classpath

Show diffs side-by-side

added added

removed removed

CircuitPlugin/.classpath

CircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitModelDescriptor.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitModule.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitSelectionTool.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitSimulationTool.java

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitToolsProvider.java

CircuitPlugin/src/org/workcraft/plugins/circuit/Contact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/ContactGeneratorTool.java

CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionContact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/Joint.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuit.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionComponent.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionContact.java

CircuitPlugin/src/org/workcraft/plugins/circuit/VisualJoint.java

CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/

CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/FunctionDeserialiser.java

CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/FunctionSerialiser.java

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitPetriNetGenerator.java

CircuitPlugin/src/org/workcraft/plugins/circuit/stg/GenerateCircuitPetriNetTool.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Clause.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CleverCnfGenerator.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Cnf.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfClause.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfGeneratingOneHotNumberProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfGeneratingOptimiser.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfOperations.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/CnfSorter.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/HumanReadableCnfPrinter.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Literal.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/MiniSatCnfPrinter.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/Nf.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/SimpleCnfTaskProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/TwoHotNumberProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/TwoHotRange.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/TwoHotRangeProvider.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf/

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf/Dnf.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf/DnfClause.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/dnf/DnfGenerator.java

CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/expressions/BooleanOperations.java

CpogsPlugin/src/org/workcraft/plugins/cpog/serialisation/BooleanFormulaSerialiser.java

CpogsPlugin/src/org/workcraft/plugins/cpog/serialisation/BooleanFunctionDeserialiser.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatStgReachabilityResultHandler.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNet.java

PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetModel.java

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

STGPlugin/.project

STGPlugin/src/org/workcraft/plugins/stg/STG.java

STGPlugin/src/org/workcraft/plugins/stg/VisualDummyTransition.java

STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java

Workcraft/.classpath

Workcraft/src/images/icons/svg/circuit-component.svg

Workcraft/src/images/icons/svg/circuit-formula.svg

Workcraft/src/images/icons/svg/circuit-joint.svg

Workcraft/src/images/icons/svg/circuit-port.svg

Older »