Package com.uppaal.model.core2.lsc
Interface ViewWorkAround
-
public interface ViewWorkAround
-
-
Method Summary
Modifier and Type Method Description voidaddInstanceLine(int prechart, InstanceLine element)UpdategetAnchoredToConditionUpdate(Condition condition, InstanceLine element)ArrayList<Condition>getConditionsOf(Node node)intgetInstanceLength(int y)ArrayList<Point>getMaxSimregions(ArrayList<Simregion> simregions)PrechartgetPrechart()intgetPrechartIndex()UpdategetUpdateOf(Node node)voidpopulateCondition(AbstractTemplate t)voidpopulateInstance(AbstractTemplate t)voidpopulatePrechart(AbstractTemplate t)voidremoveInstanceLine(int prechart, InstanceLine element)voidsetAnchorToUpdate(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)
-
-