| 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) |