ViewWorkAround (UPPAAL model library)

public interface ViewWorkAround

Method Summary

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 Details
- 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)
- getConditionsOf
  
  ArrayList<Condition> getConditionsOf(Node node)
- getUpdateOf
  
  Update getUpdateOf(Node node)
- getAnchoredToConditionUpdate
  
  Update getAnchoredToConditionUpdate(Condition condition, InstanceLine element)
- setAnchorToUpdate
  
  void setAnchorToUpdate(InstanceLine anchor, Condition element)
- getMaxSimregions
  
  ArrayList<Point> getMaxSimregions(ArrayList<Simregion> simregions)