Package | Description |
---|---|
org.processmining.datapetrinets | |
org.processmining.datapetrinets.ui.create | |
org.processmining.models.graphbased.directed.petrinetwithdata.newImpl |
Modifier and Type | Method and Description |
---|---|
DataElement |
DataPetriNet.addVariable(java.lang.String varName,
java.lang.Class type,
java.lang.Comparable minValue,
java.lang.Comparable maxValue) |
DataElement |
DataPetriNet.getVariable(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DataElement> |
DataPetriNet.getVariables() |
Modifier and Type | Method and Description |
---|---|
void |
DataPetriNet.assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
void |
DataPetriNet.assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
void |
DataPetriNet.removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
void |
DataPetriNet.removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
DataElement variable) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DataElement> |
AddVariablesPanel.getDataElements() |
Constructor and Description |
---|
AddGuardCellEditor(javax.swing.JTable table,
java.util.Collection<DataElement> allDataElements,
org.processmining.datapetrinets.ui.create.AddOperationsAndGuardsPanel frame) |
AddVariablesCellEditor(java.util.Collection<DataElement> dataElements) |
Modifier and Type | Method and Description |
---|---|
DataElement |
PetriNetWithData.addVariable(java.lang.String varName,
java.lang.Class type,
java.lang.Comparable minValue,
java.lang.Comparable maxValue) |
DataElement |
PetriNetWithData.getVariable(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DataElement> |
PNWDTransition.getReadOperations() |
java.util.Collection<DataElement> |
PetriNetWithData.getVariables() |
java.util.Set<DataElement> |
PNWDTransition.getWriteOperations() |
Modifier and Type | Method and Description |
---|---|
void |
PetriNetWithData.assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v) |
void |
PetriNetWithData.assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v) |
void |
PetriNetWithData.removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v) |
void |
PetriNetWithData.removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
DataElement v) |
Constructor and Description |
---|
VariableAccess(DataElement source,
org.processmining.models.graphbased.directed.petrinet.elements.Transition target) |
VariableAccess(org.processmining.models.graphbased.directed.petrinet.elements.Transition source,
DataElement target) |