Package com.uppaal.model.system
Class AbstractTransition
- java.lang.Object
-
- com.uppaal.model.system.AbstractTransition
-
- Direct Known Subclasses:
ConcreteTransition
,ConcreteTransitionRecord
,SymbolicTransition
public abstract class AbstractTransition extends Object
-
-
Field Summary
Fields Modifier and Type Field Description protected SystemEdgeSelect[]
edges_ws
-
Constructor Summary
Constructors Constructor Description AbstractTransition(SystemEdgeSelect[] edges)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description SystemEdgeSelect
getEdge(int i)
SystemEdgeSelect[]
getEdges()
int
getSize()
abstract SystemState
getTarget()
String
getTransitionDescription()
void
setEdges(SystemEdgeSelect[] e)
-
-
-
Field Detail
-
edges_ws
protected SystemEdgeSelect[] edges_ws
-
-
Constructor Detail
-
AbstractTransition
public AbstractTransition(SystemEdgeSelect[] edges)
-
-
Method Detail
-
getTransitionDescription
public String getTransitionDescription()
-
getEdges
public SystemEdgeSelect[] getEdges()
-
setEdges
public void setEdges(SystemEdgeSelect[] e)
-
getEdge
public SystemEdgeSelect getEdge(int i)
-
getSize
public int getSize()
-
getTarget
public abstract SystemState getTarget()
-
-