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

## Uses of Interface
tesl.TagCalculus

Packages that use TagCalculus
modhelxs.simulation |
modhelxs.state_management |
tesl |
tesl.tests |

Uses of TagCalculus in modhelxs.simulation

Constructors in modhelxs.simulation with parameters of type TagCalculus
`DrivingClock(java.lang.String name, TagCalculus<T> tcalc)` Build a new driving clock with name `name.`

Uses of TagCalculus in modhelxs.state_management

Constructors in modhelxs.state_management with parameters of type TagCalculus
`TimedManagedBlock(java.lang.Class<T> clockType, TagCalculus<T> tcalc, java.lang.String name, java.lang.Object... properties)`
`TimedManagedInterfaceBlock(java.lang.Class<T> clockType, TagCalculus<T> tcalc, java.lang.Class<I> internalClockType, TagCalculus<I> itcalc, java.lang.String name, Model<?> model, java.lang.Object... properties)` Create a TimedManagedInterfaceBlock with of clock of type T.
`TimedManagedInterfaceBlock(java.lang.Class<T> clockType, TagCalculus<T> tcalc, java.lang.Class<I> internalClockType, TagCalculus<I> itcalc, java.lang.String name, Model<?> model, java.lang.Object... properties)` Create a TimedManagedInterfaceBlock with of clock of type T.

Uses of TagCalculus in tesl

Classes in tesl that implement TagCalculus
`class` | `IntegerCalc` A tag calculus on integers which uses the regular int operators
`class` | `LongCalc` A tag calculus on integers which uses the regular int operators
`class` | `RoundDouble` A tag calculus on doubles which keeps only the 6 first digits after the decimal point and rounds to the nearest value, or down if there is no nearest value.
`class` | `UnitCalc` A dummy tag calculus on Unit.

Fields in tesl declared as TagCalculus
`private TagCalculus<T>` | `Clock.tag_calculus_`

Methods in tesl that return TagCalculus
`TagCalculus<T>` | `Clock.getTagCalculus()`

Constructors in tesl with parameters of type TagCalculus
`Clock(java.lang.String name, TagCalculus<T> calc)`
`Clock(java.lang.String name, TagCalculus<T> calc, boolean greedy)`

Uses of TagCalculus in tesl.tests

Fields in tesl.tests declared as TagCalculus
`(package private) TagCalculus<java.lang.Double>` | `TimeIslandsTest.tcalc`
`(package private) TagCalculus<java.lang.Double>` | `TagRelationTest.tcalc`
`(package private) TagCalculus<java.lang.Double>` | `ImplicationTest.tcalc`

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