public class TrajectoryPointCache
extends java.lang.Object
Constructor and Description |
---|
TrajectoryPointCache(JSOPetriNet jpnet,
JSOSubNet snet) |
Modifier and Type | Method and Description |
---|---|
void |
clearvdict() |
void |
clearVMap() |
protected JSOPnTransition |
getAtLevel(JSOSubNet snetx,
JSOPnTransition jt) |
JSOPnTransition |
getPnNodeFor(TransitionEvent tevt,
JSOPetriNet jpnet) |
TrajectoryVertexCache |
getPointsBetweenExact(JSOPnTransition t1,
JSOPnTransition t2) |
TrajectoryVertexCache |
getPointsBetweenExtended(JSOPnTransition t1,
JSOPnTransition t2) |
TrajectoryVertexCache |
getPointsBetweenSimple(JSOPnTransition t1,
JSOPnTransition t2) |
int |
getVertIdFor(int hash) |
void |
setVertIdFor(int hash,
int id) |
void |
Update() |
public TrajectoryPointCache(JSOPetriNet jpnet, JSOSubNet snet)
public void Update()
public TrajectoryVertexCache getPointsBetweenSimple(JSOPnTransition t1, JSOPnTransition t2)
public TrajectoryVertexCache getPointsBetweenExtended(JSOPnTransition t1, JSOPnTransition t2)
public TrajectoryVertexCache getPointsBetweenExact(JSOPnTransition t1, JSOPnTransition t2)
public JSOPnTransition getPnNodeFor(TransitionEvent tevt, JSOPetriNet jpnet)
protected JSOPnTransition getAtLevel(JSOSubNet snetx, JSOPnTransition jt)
public void clearvdict()
public void clearVMap()
public int getVertIdFor(int hash)
public void setVertIdFor(int hash, int id)