public class FlexNodeElement extends FlexNode
| Constructor and Description |
|---|
FlexNodeElement(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<FlexNode,FlexEdge<? extends FlexNode,? extends FlexNode>> net) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
toString() |
addInputNodes, addOutputNodes, commitUpdates, decorate, getDecorator, getGraph, getInfo, getInputNodes, getOutputNodes, getToolTipText, isInvisible, removeInputNodes, removeOutputNodes, setDecorator, setInputNodes, setInvisible, setLabel, setOutputNodescompareToequals, getId, hashCodegetAttributeMap, getLabelclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetId