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