Uses of Class
tesl.Preemption

Packages that use Preemption

tesl

Uses of Preemption in tesl

Methods in tesl that return Preemption

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

Methods in tesl with parameters of type Preemption

<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 Preemption

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