Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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>>`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES