Uses of Class
tesl.DelayedImplication

Packages that use DelayedImplication
tesl   
 

Uses of DelayedImplication in tesl
 

Methods in tesl that return DelayedImplication
<S extends java.lang.Comparable<S>,C extends java.lang.Comparable<C>>
DelayedImplication<T,C,S>
Clock.impliesWithDelay(Clock<S> slave, Clock<C> counting, int delay)
           
<S extends java.lang.Comparable<S>,C extends java.lang.Comparable<C>>
DelayedImplication<T,C,S>
Clock.impliesWithDelay(Clock<S> slave, Clock<C> counting, int delay, boolean immediate)