Uses of Class
tesl.ClockSetMark

Packages that use ClockSetMark
modhelxs.abstractsemantics   
tesl   
 

Uses of ClockSetMark in modhelxs.abstractsemantics
 

Methods in modhelxs.abstractsemantics with parameters of type ClockSetMark
private  void Engine.computeSnapshot(ClockSetMark raw_bck)
          Compute a snapshot.
 

Uses of ClockSetMark in tesl
 

Methods in tesl that return ClockSetMark
 ClockSetMark ClockSet.getMark()
           
 

Methods in tesl with parameters of type ClockSetMark
 void ClockSet.setMark(ClockSetMark mark)