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

## Uses of Class
tesl.Clock

Packages that use Clock
modhelxs.abstractsemantics |
modhelxs.mocs.de |
modhelxs.mocs.sdf |
modhelxs.mocs.tfsm |
modhelxs.simulation |
modhelxs.state_management |
tesl |
tesl.tests |

Uses of Clock in modhelxs.abstractsemantics

Fields in modhelxs.abstractsemantics declared as Clock
`private Clock<java.lang.Integer>` | `Engine.snapshot_clock_` The clock that triggers the snapshots of the root model.
`private Clock<Unit>` | `Engine.stop_clock_` A clock used to tell the engine to stop.

Methods in modhelxs.abstractsemantics that return Clock
`abstract Clock<T>` | `ModelOfComputation.getClock()` Get the observation clock of this MoC.
`Clock<java.lang.Integer>` | `Engine.getSnapshotClock()` Get the "snapshot" clock of this execution engine.
`Clock<Unit>` | `Engine.getStopClock()` Get the "stop" clock of this execution engine.

Uses of Clock in modhelxs.mocs.de

Fields in modhelxs.mocs.de declared as Clock
`protected Clock<java.lang.Double>` | `AbstractDEMoC.de_clock_` The observation clock of this MoC.

Methods in modhelxs.mocs.de that return Clock
`Clock<java.lang.Double>` | `AbstractDEMoC.getClock()`

Uses of Clock in modhelxs.mocs.sdf

Fields in modhelxs.mocs.sdf declared as Clock
`private Clock<Unit>` | `SDFMoC.sdf_clock_` The observation clock of SDF.

Methods in modhelxs.mocs.sdf that return Clock
`Clock<Unit>` | `SDFMoC.getClock()`

Uses of Clock in modhelxs.mocs.tfsm

Fields in modhelxs.mocs.tfsm declared as Clock
`protected Clock<java.lang.Double>` | `TFSMMoC.tfsm_clock_` The observation request clock of this MoC.

Methods in modhelxs.mocs.tfsm that return Clock
`Clock<java.lang.Double>` | `TFSMMoC.getClock()`

Uses of Clock in modhelxs.simulation

Subclasses of Clock in modhelxs.simulation
`class` | `ASAPClock` An ASAPClock is a kind of driving clock that always has a tick as soon as possible
`class` | `DrivingClock<T extends Comparable<T>>` A DrivingClock is a clock used for driving a simulation.
`class` | `EventFeederClock` An EventFeederClock is a driving clock that ticks when an external event should be fed to the simulation.
`class` | `PeriodicRTClock` A driving clock that ticks periodically on real time.
`class` | `SwingButtonClock` A SwingButtonClock is an event feeder clock that ticks when a Swing button is pressed.
`class` | `SynchronizingRTClock` A driving clock that ticks on real time.

Uses of Clock in modhelxs.state_management

Fields in modhelxs.state_management declared as Clock
`private Clock<T>` | `TimedManagedInterfaceBlock.my_clock_` The observation clock of the block.
`private Clock<T>` | `TimedManagedBlock.my_clock_` The observation clock of the block.
`private Clock<I>` | `TimedManagedInterfaceBlock.my_internal_clock_` The observation clock of the internal model.

Methods in modhelxs.state_management that return Clock
`Clock<I>` | `TimedManagedInterfaceBlock.internalObservationClock()` Return the observation clock of the block.
`Clock<T>` | `TimedManagedInterfaceBlock.observationClock()` Return the observation clock of the block.
`Clock<T>` | `TimedManagedBlock.observationClock()` Return the observation clock of the block.

Uses of Clock in tesl

Fields in tesl declared as Clock
`private Clock<T>` | `ClockOperation.clock_`
`private Clock<U>` | `TagRelation.from_`
`private Clock<?>[]` | `ImplicationRelation.masters_`
`private Clock<T>` | `Tick.myclock_`
`private Clock<?>` | `ImplicationRelation.slave_`
`private Clock<V>` | `TagRelation.to_`

Fields in tesl with type parameters of type Clock
`private java.util.List<Clock<?>>` | `ClockSet.clocks_`
`private java.util.Map<Clock<?>,java.util.List<ImplicationRelation>>` | `ClockSet.masters_`
`private java.util.Map<Clock<?>,java.util.List<ImplicationRelation>>` | `ClockSet.slaves_`
`private java.util.Map<Clock<? extends java.lang.Comparable<?>>,java.util.Set<Clock<? extends java.lang.Comparable<?>>>>` | `ClockSet.time_islands_`
`private java.util.Map<Clock<? extends java.lang.Comparable<?>>,java.util.Set<Clock<? extends java.lang.Comparable<?>>>>` | `ClockSet.time_islands_`

Methods in tesl that return Clock
`
`<T extends java.lang.Comparable<? super T>> Clock<T>`
` | `ClockSet.addClock(Clock<T> c)`
`Clock<U>` | `TagRelation.fromClock()`
`Clock<T>` | `ClockOperation.getClock()`
`Clock<?>` | `DelayedImplication.getCountingClock()` Return the counter clock, for the DelayedFor constraint
`Clock<M1>` | `SustainedImplication.getMasterClock()` Return the master clock, or reference clock, for the sustained implication
`Clock<M>` | `Implication.getMasterClock()` Return the master clock for the subClock constraint
`Clock<M>` | `FilteredImplication.getMasterClock()` Return the master clock for the FilteredBy constraint
`Clock<?>[]` | `ImplicationRelation.getMasterClocks()`
`Clock<?>` | `DelayedImplication.getReferenceClock()` Return the reference clock, for the DelayedFor constraint
`Clock<?>` | `ImplicationRelation.getSlaveClock()`
`Clock<M2>` | `SustainedImplication.getStartClock()` Return the start clock, for the sustained implication
`Clock<M3>` | `SustainedImplication.getStopClock()` Return the stop clock, for the sustained implication
`Clock<V>` | `TagRelation.toClock()`

Methods in tesl that return types with arguments of type Clock
`java.lang.Iterable<Clock<?>>` | `ClockSet.getClocks()`
`private java.util.Map<Clock<? extends java.lang.Comparable<?>>,Tag<? extends java.lang.Comparable<?>>>` | `ClockSet.tagClosure(Clock<? extends java.lang.Comparable<?>> clock, Tag<? extends java.lang.Comparable<?>> tag)`

Methods in tesl with parameters of type Clock
`
`<T extends java.lang.Comparable<? super T>> Clock<T>`
` | `ClockSet.addClock(Clock<T> c)`
`AffineTags<T>` | `Clock.affineTags(Clock<T> clock, T coeff, T offset)`
`protected
`<T extends java.lang.Comparable<? super T>> boolean`
` | `ClockSet.checkFirstTick(Clock<T> clk)`
`
`<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<S>> FilteredImplication<T,S>`
` | `Clock.filteredImplies(Clock<S> slave, int skip, int keep, int repSkip, int repKeep)`
`private static
`<T extends java.lang.Comparable<? super T>> Tick<T>`
` | `ClockSet.getTickWithTag(Clock<T> clk, Tag<? extends java.lang.Comparable<?>> tag)`
`
`<S extends java.lang.Comparable<? super S>> Implication<T,S>`
` | `Clock.implies(Clock<S> slave)`
`
`<S extends java.lang.Comparable<S>> FilteredImplication<T,S>`
` | `Clock.impliesThroughFilter(Clock<S> slave, int skip, int count, int repskip, int repcount)`
`
`<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)`
`
`<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)`
`
`<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)`
`private
`<T extends java.lang.Comparable<? super T>> void`
` | `ClockSet.mergeNullTick(Clock<T> clock)`
`private static
`<T extends java.lang.Comparable<? super T>> void`
` | `ClockSet.removeTick(Clock<T> clk, Tick<? extends java.lang.Comparable<?>> tick)`
`SameTags<T>` | `Clock.sameTags(Clock<T> clock)`
`
`<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)`
`
`<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)`
`
`<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)`
`
`<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`.
`
`<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`.
`
`<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`.
`private java.util.Map<Clock<? extends java.lang.Comparable<?>>,Tag<? extends java.lang.Comparable<?>>>` | `ClockSet.tagClosure(Clock<? extends java.lang.Comparable<?>> clock, Tag<? extends java.lang.Comparable<?>> tag)`

Constructors in tesl with parameters of type Clock
`AffineTags(Clock<T> from, Clock<T> to, T a, T b)`
`AffineTags(Clock<T> from, Clock<T> to, T a, T b)`
`ClockOperation(Clock<T> clock)`
`DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n)` Get slave by delaying reference (not immediately) by n on counting
`DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n)` Get slave by delaying reference (not immediately) by n on counting
`DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n)` Get slave by delaying reference (not immediately) by n on counting
`DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n, boolean immediate)` Get slave by delaying reference (immediately or not) by n on counting
`DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n, boolean immediate)` Get slave by delaying reference (immediately or not) by n on counting
`DelayedImplication(Clock<M1> reference, Clock<M2> counting, Clock<S> slave, int n, boolean immediate)` Get slave by delaying reference (immediately or not) by n on counting
`FilteredImplication(Clock<M> master, Clock<S> slave, int skip, int keep, int repSkip, int repKeep)` Get subClock by filtering master according to the pattern: - skip "skip" ticks - keep the next "keep" ticks - then, repeatedly skip repSkip ticks and keep repKeep ticks For instance, FilteredBy(m, s, 5, 1, 3, 2) will skip the first 5 ticks of "m", then keep its next tick for "s", then skip 3 ticks, keep 2 ticks, skip 3 ticks, keep 2 ticks and so on.
`FilteredImplication(Clock<M> master, Clock<S> slave, int skip, int keep, int repSkip, int repKeep)` Get subClock by filtering master according to the pattern: - skip "skip" ticks - keep the next "keep" ticks - then, repeatedly skip repSkip ticks and keep repKeep ticks For instance, FilteredBy(m, s, 5, 1, 3, 2) will skip the first 5 ticks of "m", then keep its next tick for "s", then skip 3 ticks, keep 2 ticks, skip 3 ticks, keep 2 ticks and so on.
`Implication(Clock<M> master, Clock<S> slave)` Constructor
`Implication(Clock<M> master, Clock<S> slave)` Constructor
`ImplicationRelation(Clock<?> slave, Clock<?>... masters)`
`ImplicationRelation(Clock<?> slave, Clock<?>... masters)`
`SameTags(Clock<T> from, Clock<T> to)`
`SameTags(Clock<T> from, Clock<T> to)`
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)` Constructor for a not immediate and not weak sustained implication
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)` Constructor for a not immediate and not weak sustained implication
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)` Constructor for a not immediate and not weak sustained implication
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave)` Constructor for a not immediate and not weak sustained implication
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)` Constructor
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)` Constructor
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)` Constructor
`SustainedImplication(Clock<M1> master, Clock<M2> start, Clock<M3> stop, Clock<S> slave, Occurrence immediate, Preemption weak)` Constructor
`TagRelation(Clock<U> from, Clock<V> to)`
`TagRelation(Clock<U> from, Clock<V> to)`
`Tick(Clock<T> clock)`
`Tick(Clock<T> clock, T tag)`
`Tick(Clock<T> clock, Tag<T> tag)`
`TickCreation(Clock<T> clock, T tag)`
`TickDeletion(Clock<T> clock, T tag)`

Uses of Clock in tesl.tests

Fields in tesl.tests declared as Clock
`(package private) Clock<java.lang.Double>` | `ImplicationTest.c3`
`(package private) Clock<Unit>` | `DelayedImplicationTest.counting`
`(package private) Clock<Unit>` | `SustainedImplicationTest.master`
`(package private) Clock<Unit>` | `FilteredImplicationTest.master`
`(package private) Clock<Unit>` | `DelayedImplicationTest.master`
`(package private) Clock<Unit>` | `SustainedImplicationTest.slave`
`(package private) Clock<Unit>` | `FilteredImplicationTest.slave`
`(package private) Clock<Unit>` | `DelayedImplicationTest.slave`
`(package private) Clock<Unit>` | `SustainedImplicationTest.start`
`(package private) Clock<Unit>` | `SustainedImplicationTest.stop`

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