@Deprecated public class DiscoveredPetriNetWithData extends PetriNetWithData
DataPetriNetsWithMarkings.Factory
DataPetriNet.PetrinetWithMarkings
WRITE_CHAR
Constructor and Description |
---|
DiscoveredPetriNetWithData(java.lang.String netName)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
DecisionPointGuardsResult |
getDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place p)
Deprecated.
|
void |
storeDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
DecisionPointGuardsResult f)
Deprecated.
|
addTransition, addVariable, assignReadOperation, assignWriteOperation, getAllVariableNames, getEdges, getFinalMarkings, getInitialMarking, getNodes, getVariable, getVariables, getVariableTypes, removeAllVariables, removeAllVariablesNotInGuard, removeEdge, removeNode, removeReadOperation, removeTransition, removeWriteOperation, setFinalMarkings, setGuard, setGuard, setGuard, setGuard, setGuard, setGuardFromString, setInitialMarking
getEmptyClone
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, cloneFrom, cloneFrom, getArc, getGroups, getInhibitorArc, getPlaces, getResetArc, getTransitions, removeArc, removeGroup, removeInhibitorArc, removePlace, removeResetArc
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace
getInEdges, getOutEdges
equals, getGraph, hashCode
public DiscoveredPetriNetWithData(java.lang.String netName)
public void storeDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place place, DecisionPointGuardsResult f)
public DecisionPointGuardsResult getDecisionPointResult(org.processmining.models.graphbased.directed.petrinet.elements.Place p)