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)