Package com.uppaal.model.core2.lsc
Interface ViewWorkAround
-
public interface ViewWorkAround
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addInstanceLine(int prechart, InstanceLine element)
Update
getAnchoredToConditionUpdate(Condition condition, InstanceLine element)
ArrayList<Condition>
getConditionsOf(Node node)
int
getInstanceLength(int y)
ArrayList<Point>
getMaxSimregions(ArrayList<Simregion> simregions)
Prechart
getPrechart()
int
getPrechartIndex()
Update
getUpdateOf(Node node)
void
populateCondition(AbstractTemplate t)
void
populateInstance(AbstractTemplate t)
void
populatePrechart(AbstractTemplate t)
void
removeInstanceLine(int prechart, InstanceLine element)
void
setAnchorToUpdate(InstanceLine anchor, Condition element)
-
-
-
Method Detail
-
getInstanceLength
int getInstanceLength(int y)
-
populateInstance
void populateInstance(AbstractTemplate t)
-
populatePrechart
void populatePrechart(AbstractTemplate t)
-
populateCondition
void populateCondition(AbstractTemplate t)
-
getPrechartIndex
int getPrechartIndex()
-
getPrechart
Prechart getPrechart()
-
addInstanceLine
void addInstanceLine(int prechart, InstanceLine element)
-
removeInstanceLine
void removeInstanceLine(int prechart, InstanceLine element)
-
getAnchoredToConditionUpdate
Update getAnchoredToConditionUpdate(Condition condition, InstanceLine element)
-
setAnchorToUpdate
void setAnchorToUpdate(InstanceLine anchor, Condition element)
-
-