Uses of Class
tesl.ClockOperation

Packages that use ClockOperation

modhelxs.abstractsemantics
tesl

Uses of ClockOperation in modhelxs.abstractsemantics

Fields in modhelxs.abstractsemantics with type parameters of type ClockOperation

private java.util.List<ClockOperation<?>>

Engine.clockOperations_ List of clock operations to perform after a non validation.

Methods in modhelxs.abstractsemantics with parameters of type ClockOperation

void	Engine.addClockOperation(ClockOperation<?> op) Add a clock operation to perform before the next iteration when the snapshot is not validated.

Uses of ClockOperation in tesl

Subclasses of ClockOperation in tesl

class	TickCreation<T extends Comparable<T>>
class	TickDeletion<T extends Comparable<T>>