A B C D E F G H I K L M N O P R S T U V W X Y

T

t_relations_ - Variable in class tesl.ClockSet

Tag<T extends java.lang.Comparable<? super T>> - Class in tesl

Tag(T) - Constructor for class tesl.Tag

tag_ - Variable in class tesl.TickCreation

tag_ - Variable in class tesl.TickDeletion

tag_calculus_ - Variable in class tesl.Clock

TagCalculus<T> - Interface in tesl

A TagCalculs performs operations on clock tags of type T.

tagClosure(Clock<? extends Comparable<?>>, Tag<? extends Comparable<?>>) - Method in class tesl.ClockSet

tagDifference(T, T) - Method in class modhelxs.state_management.TimedManagedBlock

tagDifference(T, T) - Method in class tesl.Clock

tagProduct(T, T) - Method in class modhelxs.state_management.TimedManagedBlock

tagProduct(T, T) - Method in class tesl.Clock

tagQuotient(T, T) - Method in class modhelxs.state_management.TimedManagedBlock

tagQuotient(T, T) - Method in class tesl.Clock

TagRelation<U extends java.lang.Comparable<? super U>,V extends java.lang.Comparable<? super V>> - Class in tesl

TagRelation(Clock<U>, Clock<V>) - Constructor for class tesl.TagRelation

TagRelationTest - Class in tesl.tests

TagRelationTest() - Constructor for class tesl.tests.TagRelationTest

tags_ - Variable in class tesl.Clock

tags_backup_ - Variable in class tesl.Clock.ClockBackup

tagSum(T, T) - Method in class modhelxs.state_management.TimedManagedBlock

tagSum(T, T) - Method in class tesl.Clock

target_ - Variable in class modhelxs.abstractsemantics.Relation

The target of the relation.

tcalc - Variable in class tesl.tests.ImplicationTest

tcalc - Variable in class tesl.tests.TagRelationTest

tcalc - Variable in class tesl.tests.TimeIslandsTest

tesl - package tesl

tesl.tests - package tesl.tests

test1() - Method in class tesl.tests.DelayedImplicationTest

test1() - Method in class tesl.tests.FilteredImplicationTest

test1() - Method in class tesl.tests.ImplicationTest

test1() - Method in class tesl.tests.SustainedImplicationTest

test1() - Method in class tesl.tests.TagRelationTest

test1() - Method in class tesl.tests.TimeIslandsTest

test10() - Method in class tesl.tests.TagRelationTest

test11() - Method in class tesl.tests.TagRelationTest

test12() - Method in class tesl.tests.TagRelationTest

test13() - Method in class tesl.tests.TagRelationTest

test14() - Method in class tesl.tests.TagRelationTest

test15() - Method in class tesl.tests.TagRelationTest

test16() - Method in class tesl.tests.TagRelationTest

test17() - Method in class tesl.tests.TagRelationTest

test18() - Method in class tesl.tests.TagRelationTest

test19() - Method in class tesl.tests.TagRelationTest

test2() - Method in class tesl.tests.DelayedImplicationTest

test2() - Method in class tesl.tests.FilteredImplicationTest

test2() - Method in class tesl.tests.ImplicationTest

test2() - Method in class tesl.tests.SustainedImplicationTest

test2() - Method in class tesl.tests.TagRelationTest

test2() - Method in class tesl.tests.TimeIslandsTest

test20() - Method in class tesl.tests.TagRelationTest

test21() - Method in class tesl.tests.TagRelationTest

test3() - Method in class tesl.tests.DelayedImplicationTest

test3() - Method in class tesl.tests.FilteredImplicationTest

test3() - Method in class tesl.tests.ImplicationTest

test3() - Method in class tesl.tests.SustainedImplicationTest

test3() - Method in class tesl.tests.TagRelationTest

test3() - Method in class tesl.tests.TimeIslandsTest

test4() - Method in class tesl.tests.DelayedImplicationTest

test4() - Method in class tesl.tests.FilteredImplicationTest

test4() - Method in class tesl.tests.ImplicationTest

test4() - Method in class tesl.tests.SustainedImplicationTest

test4() - Method in class tesl.tests.TagRelationTest

test4() - Method in class tesl.tests.TimeIslandsTest

test5() - Method in class tesl.tests.DelayedImplicationTest

test5() - Method in class tesl.tests.FilteredImplicationTest

test5() - Method in class tesl.tests.ImplicationTest

test5() - Method in class tesl.tests.SustainedImplicationTest

test5() - Method in class tesl.tests.TagRelationTest

test5() - Method in class tesl.tests.TimeIslandsTest

test6() - Method in class tesl.tests.FilteredImplicationTest

test6() - Method in class tesl.tests.ImplicationTest

test6() - Method in class tesl.tests.SustainedImplicationTest

test6() - Method in class tesl.tests.TagRelationTest

test7() - Method in class tesl.tests.ImplicationTest

test7() - Method in class tesl.tests.SustainedImplicationTest

test7() - Method in class tesl.tests.TagRelationTest

test8() - Method in class tesl.tests.ImplicationTest

test8() - Method in class tesl.tests.SustainedImplicationTest

test8() - Method in class tesl.tests.TagRelationTest

test9() - Method in class tesl.tests.ImplicationTest

test9() - Method in class tesl.tests.TagRelationTest

test_loopdelay(String[]) - Static method in class demos.SDFTest

test_loopfree(String[]) - Static method in class demos.SDFTest

This model contains two ramps connected to an adder whose output is connected to a display.

testParser - Class in modhelxs.mocs.tfsm.parser

testParser() - Constructor for class modhelxs.mocs.tfsm.parser.testParser

tfsm_clock_ - Variable in class modhelxs.mocs.tfsm.TFSMMoC

The observation request clock of this MoC.

TFSM_Test - Class in demos

A simple TFSM model with no inputs (to be run as a root model).

TFSM_Test() - Constructor for class demos.TFSM_Test

tfsmActions_ - Variable in class modhelxs.mocs.tfsm.TFSMMoC

tfsmEvents_ - Variable in class modhelxs.mocs.tfsm.TFSMMoC

TFSMMoC - Class in modhelxs.mocs.tfsm

TFSMMoC(String) - Constructor for class modhelxs.mocs.tfsm.TFSMMoC

Tick<T extends java.lang.Comparable<? super T>> - Class in tesl

Tick(Clock<T>) - Constructor for class tesl.Tick

Tick(Clock<T>, Tag<T>) - Constructor for class tesl.Tick

Tick(Clock<T>, T) - Constructor for class tesl.Tick

TickCreation<T extends java.lang.Comparable<T>> - Class in tesl

TickCreation(Clock<T>, T) - Constructor for class tesl.TickCreation

TickDeletion<T extends java.lang.Comparable<T>> - Class in tesl

TickDeletion(Clock<T>, T) - Constructor for class tesl.TickDeletion

ticks_ - Variable in class tesl.Clock

ticks_backup_ - Variable in class tesl.Clock.ClockBackup

time - Variable in class demos.atomicblocks.DEDelay.DelayedOutput

time - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter.PlotPoint

time - Variable in class demos.atomicblocks.DEScenario.Step

time_islands_ - Variable in class tesl.ClockSet

TimedManagedBlock<T extends java.lang.Comparable<? super T>> - Class in modhelxs.state_management

A ManagedBlock with timed behavior.

TimedManagedBlock(Class<T>, TagCalculus<T>, String, Object...) - Constructor for class modhelxs.state_management.TimedManagedBlock

TimedManagedInterfaceBlock<T extends java.lang.Comparable<T>,I extends java.lang.Comparable<I>> - Class in modhelxs.state_management

An implementation of the ManagedInterfaceBlock for timed IB.

TimedManagedInterfaceBlock(Class<T>, TagCalculus<T>, Class<I>, TagCalculus<I>, String, Model<?>, Object...) - Constructor for class modhelxs.state_management.TimedManagedInterfaceBlock

Create a TimedManagedInterfaceBlock with of clock of type T.

TimedValidationTest - Class in demos

This model uses a special interface block (IB) between DE and SDF that can react to threshold crossing on the outputs of its internal SDF model.

TimedValidationTest() - Constructor for class demos.TimedValidationTest

TimeIslandsTest - Class in tesl.tests

TimeIslandsTest() - Constructor for class tesl.tests.TimeIslandsTest

timeOfEntry_ - Variable in class modhelxs.mocs.tfsm.TFSMMoC

timescale_coeff - Variable in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

timescale_offset - Variable in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

to_ - Variable in class tesl.TagRelation

toClock() - Method in class tesl.TagRelation

Token - Class in modhelxs.abstractsemantics

A Token is a piece of information that can be put on a pin to be communicated between blocks.

Token(ModelOfComputation<?>) - Constructor for class modhelxs.abstractsemantics.Token

Build a new token, valid in a model of computation.

token_ - Variable in class modhelxs.mocs.de.DEMoC.DEEvent

The token for the value of this event.

tokens_ - Variable in class modhelxs.abstractsemantics.Pin

The tokens present on this pin.

tokenValues_ - Variable in class modhelxs.abstractsemantics.ModelOfComputationImpl

Association of values to tokens.

topoSort() - Method in class modhelxs.util.BlockStructureNavHelper

Return a list of the blocks of the structure, topologically sorted.

toString() - Method in class demos.atomicblocks.DEScenario.Step

toString() - Method in class demos.powerwindow.gui.WindowGUI

toString() - Method in class modhelxs.abstractsemantics.NamedEntity

toString() - Method in class modhelxs.abstractsemantics.Pin

toString() - Method in class modhelxs.mocs.de.DEMoC.DEEvent

toString() - Method in class modhelxs.mocs.tfsm.parser.BinaryOperator

toString() - Method in class modhelxs.mocs.tfsm.parser.OperatorDelay

toString() - Method in class modhelxs.mocs.tfsm.parser.OperatorNot

toString() - Method in class modhelxs.mocs.tfsm.parser.Variable

toString() - Method in class modhelxs.state_management.Attribute

toString() - Method in class modhelxs.state_management.State

toString() - Method in class modhelxs.util.UpdateTrigger

toString() - Method in class tesl.AffineTags

toString() - Method in class tesl.Clock

toString() - Method in class tesl.ClockSet

toString(String) - Method in class tesl.ClockSet

toString() - Method in class tesl.DelayedImplication

toString() - Method in class tesl.FilteredImplication

toString() - Method in class tesl.Implication

toString() - Method in class tesl.ImplicationRelation

toString() - Method in class tesl.SustainedImplication

toString() - Method in class tesl.Tag

toString() - Method in class tesl.TagRelation

toString() - Method in class tesl.Tick

trans_value_ - Variable in class modhelxs.state_management.Attribute

The transient value of the attribute, which will become its value after committing.

trans_value_ - Variable in class modhelxs.state_management.ListAttribute

trans_value_ - Variable in class modhelxs.state_management.MapAttribute

TransientMap<K,V> - Class in modhelxs.state_management

A TransientMap is a MapAttribute that never changes its permanent value.

TransientMap(Map<K, V>) - Constructor for class modhelxs.state_management.TransientMap

Create a TransientMap initialized with map.

TransientMap() - Constructor for class modhelxs.state_management.TransientMap

Create an empty TransientMap.

TransientValue<T> - Class in modhelxs.state_management

A TransientValue is an Attribute that never changes its permanent value.

TransientValue(Class<T>) - Constructor for class modhelxs.state_management.TransientValue

Create a TransientValue for storing a value of type type.

transitionTo(FSMState, String, String) - Method in class modhelxs.mocs.tfsm.FSMState

triangleDown(boolean, boolean) - Static method in class demos.powerwindow.gui.WindowGUI

The icon of the down button.

triangleUp(boolean, boolean) - Static method in class demos.powerwindow.gui.WindowGUI

The icon of the up button.

type_ - Variable in class modhelxs.state_management.Value

The type of the stored value.