Modifier and Type | Method and Description |
---|---|
Arc |
PetrinetGraph.addArc(Place p,
Transition t) |
Arc |
PetrinetGraph.addArc(Place p,
Transition t,
ExpandableSubNet parent) |
Arc |
PetrinetGraph.addArc(Place p,
Transition t,
int weight) |
Arc |
PetrinetGraph.addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent) |
Arc |
PetrinetGraph.addArc(Transition t,
Place p) |
Arc |
PetrinetGraph.addArc(Transition t,
Place p,
ExpandableSubNet parent) |
Arc |
PetrinetGraph.addArc(Transition t,
Place p,
int weight) |
Arc |
PetrinetGraph.addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent) |
Arc |
PetrinetGraph.getArc(PetrinetNode source,
PetrinetNode target) |
Arc |
PetrinetGraph.removeArc(PetrinetNode source,
PetrinetNode target) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Arc,java.lang.Integer> |
ConfigurableArcWeight.cloneFor(Arc newElement) |
ConfigurableFeature<Arc,java.lang.Integer> |
ParameterizedArc.cloneFor(Arc newElement) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Arc,java.lang.Integer> |
ConfigurableArcWeight.cloneFor(Arc newElement) |
ConfigurableFeature<Arc,java.lang.Integer> |
ParameterizedArc.cloneFor(Arc newElement) |
Constructor and Description |
---|
ConfigurableArcWeight(java.lang.String id,
Arc element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue) |
ParameterizedArc(Arc element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
ParameterizedArc(java.lang.String id,
Arc element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<Arc> |
AbstractResetInhibitorNet.arcs |
Modifier and Type | Method and Description |
---|---|
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
int weight) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
int weight) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent) |
protected Arc |
AbstractResetInhibitorNet.addArcPrivate(PetrinetNode src,
PetrinetNode trgt,
int weight,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.getArc(PetrinetNode source,
PetrinetNode target) |
Arc |
AbstractResetInhibitorNet.removeArc(PetrinetNode source,
PetrinetNode target) |
Modifier and Type | Method and Description |
---|---|
ConfigurableIntegerFeature<Arc> |
ConfigurableIntegerFeature_UI.ConfigurableArcWeightFeature_UI.getConfigured() |
Constructor and Description |
---|
ConfigurableArcWeightFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<Arc> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlInscription.convertToNet(Arc arc)
Sets the weight of the given arc in the given net to this inscription.
|