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, setOutputNodes
compareTo
equals, getId, hashCode
getAttributeMap, getLabel
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getId