Uses of Class
tesl.Occurrence

Packages that use Occurrence

tesl

Uses of Occurrence in tesl

Methods in tesl that return Occurrence

static Occurrence	Occurrence.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Occurrence[]	Occurrence.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in tesl with parameters of type Occurrence

<M2 extends java.lang.Comparable<M2>,M3 extends java.lang.Comparable<M3>,S extends java.lang.Comparable<S>> SustainedImplication<T,M2,M3,S>

Clock.sustains(Clock<S> slave, Clock<M2> start, Clock<M3> stop, Occurrence immediate, Preemption weak) Make this clock sustain clock slave between occurrences of start and stop.

Constructors in tesl with parameters of type Occurrence

SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)
Constructor