Uses of Class
tesl.Implication

Packages that use Implication

tesl

Uses of Implication in tesl

Methods in tesl that return Implication

<U extends java.lang.Comparable<U>> Implication<T,U>	Clock.createMasterImplication(Clock<U> slave) Deprecated.
<U extends java.lang.Comparable<U>> Implication<U,T>	Clock.createSlaveImplication(Clock<U> master)
<S extends java.lang.Comparable<? super S>> Implication<T,S>	Clock.implies(Clock<S> slave)