Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<T,F> |
ConfigurableFeature.cloneFor(T newElement)
Create a clone of this feature using newElement as
getConfiguredElement() . |
static ConfigurableFeature<?,?> |
ConfigurableFeatureFactory.createDefaultFeature(org.processmining.models.graphbased.directed.DirectedGraphElement netElement,
java.lang.String featureName,
boolean parameterized) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,? extends java.lang.Object>> |
ConfigurableFeatureGroup.getFeatures() |
java.util.List<ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,? extends java.lang.Object>> |
ConfigurableFeatureGroup.getFeatures(org.processmining.models.graphbased.directed.DirectedGraphElement element) |
Modifier and Type | Method and Description |
---|---|
void |
ConfigurablePetrinet.addConfigurableFeature(java.lang.String id,
ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,?> feature)
Add a configurable feature to this net
|
void |
ConfigurableFeatureGroup.addFeature(ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,? extends java.lang.Object> feature)
Add feature to this group.
|
Modifier and Type | Method and Description |
---|---|
static void |
ConfigurationUtils.stripFeaturesFromLabel(PetrinetNode node,
java.util.Map<java.lang.String,java.util.List<ConfigurableFeature<?,?>>> group_features) |
Modifier and Type | Class and Description |
---|---|
class |
ConfigurableArc
Configures a
PetrinetEdge to be present or absent in a Petrinet . |
class |
ConfigurableArcWeight
Configurable arc to determine arc weights.
|
class |
ConfigurablePlace
|
class |
ConfigurablePlaceMarking
|
class |
ConfigurableTransition
Configure a transition to be allowed, blocked, or skipped (see
ConfigurableGraphElementOption ). |
class |
ParameterizedArc
Configurable arc to determine arc weights based on an expression.
|
class |
ParameterizedPlaceMarking
Configures the number of tokens on a
Place in the initial marking
based on an expression. |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Arc,java.lang.Integer> |
ConfigurableArcWeight.cloneFor(Arc newElement) |
ConfigurableFeature<Arc,java.lang.Integer> |
ParameterizedArc.cloneFor(Arc newElement) |
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
ConfigurableFeature<Place,ConfigurableGraphElementOption> |
ConfigurablePlace.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ConfigurablePlaceMarking.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ParameterizedPlaceMarking.cloneFor(Place newElement) |
ConfigurableFeature<Transition,ConfigurableGraphElementOption> |
ConfigurableTransition.cloneFor(Transition newElement) |
Modifier and Type | Class and Description |
---|---|
class |
ConfigurableGraphElementFeature<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
Abstract class to configure elements of a Petri net to be kept, removed, or
made invisible.
|
class |
ConfigurableIntegerFeature<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
Abstract class describing a configurable feature of a node or arc expressed by a range of integer values.
|
class |
ParameterizedIntegerFeature<T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
An abstract implementation of a
ParameterizedFeature ranging over Integer |
Modifier and Type | Method and Description |
---|---|
abstract ConfigurableFeature<T,java.lang.Integer> |
ParameterizedIntegerFeature.cloneFor(T newElement) |
Modifier and Type | Method and Description |
---|---|
void |
ConfigurableResetInhibitorNet.addConfigurableFeature(java.lang.String id,
ConfigurableFeature<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,?> feature) |
Modifier and Type | Method and Description |
---|---|
static ConfigurableFeature_UI<?,?> |
ConfigurableFeature_UI_Factory.getUIforFeature(javax.swing.JComponent root,
ConfigurableFeature<?,?> feature) |
Constructor and Description |
---|
ConfigurableFeature_UI(javax.swing.JComponent root,
ConfigurableFeature<T,F> feature) |
Modifier and Type | Method and Description |
---|---|
void |
ConfigurableGraphElement_UI.setValues(ConfigurableFeature<?,?> input) |
void |
ConfigurableIntegerFeature_UI.setValues(ConfigurableFeature<?,?> input) |
void |
ParameterizedIntegerFeature_UI.setValues(ConfigurableFeature<?,?> input) |
Modifier and Type | Method and Description |
---|---|
PnmlFeature |
PnmlFeature.convertFromNet(ConfigurableFeature<?,?> feature,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.lang.String> map) |