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

C

c3 - Variable in class tesl.tests.ImplicationTest

c_implications_ - Variable in class tesl.ClockSet

CalculusTest - Class in tesl.tests

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

cancel() - Method in class modhelxs.simulation.ASAPClock.ASAPThread

cancel() - Method in class modhelxs.simulation.ASAPClock

cancel() - Method in class modhelxs.simulation.DrivingClock

Cancel the clock: stop waiting for the driving event.

cancel() - Method in class modhelxs.simulation.EventFeederClock

cancel() - Method in class modhelxs.simulation.PeriodicRTClock

cancel() - Method in class modhelxs.simulation.PeriodicRTClock.PeriodicRTThread

cancel() - Method in class modhelxs.simulation.SynchronizingRTClock

cancel() - Method in class modhelxs.simulation.SynchronizingRTClock.SynchronizingRTThread

canGoFurther(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation

Tell if it is possible to compute more information.

canGoFurther(BlockStructure) - Method in class modhelxs.mocs.de.DEMoC

canGoFurther(BlockStructure) - Method in class modhelxs.mocs.sdf.SDFMoC

canGoFurther(BlockStructure) - Method in class modhelxs.mocs.tfsm.TFSMMoC

checkFirstTick(Clock<T>) - Method in class tesl.ClockSet

checkNoNow() - Method in class tesl.ClockSet

checkNotManagedFields() - Method in class modhelxs.state_management.ManagedBlock

Check for fields that are not final and are not manageable by a State object.

checkNotManagedFields() - Method in class modhelxs.state_management.ManagedInterfaceBlock

Check for fields that are not final and are not manageable by a State object.

classpath_ - Static variable in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

cleanUp() - Method in class tesl.Clock

cleanUpClocks() - Method in class tesl.ClockSet

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

Delete all tokens on this pin.

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

A clock with tags of type T.

Clock(String, TagCalculus<T>, boolean) - Constructor for class tesl.Clock

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

Clock.ClockBackup - Class in tesl

Clock.ClockBackup() - Constructor for class tesl.Clock.ClockBackup

clock_ - Variable in class demos.atomicblocks.EventFeeder

clock_ - Variable in class tesl.ClockOperation

clock_mark_ - Variable in class tesl.ClockSetMark

ClockBackupInterface<T extends java.lang.Comparable<? super T>> - Interface in tesl

clockBackups() - Method in class tesl.ClockSetMark

ClockLogger - Static variable in class tesl.ClockSet

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

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

clockOperations_ - Variable in class modhelxs.abstractsemantics.Engine

List of clock operations to perform after a non validation.

clocks_ - Variable in class tesl.ClockSet

ClockSet - Class in tesl

ClockSet() - Constructor for class tesl.ClockSet

ClockSetMark - Class in tesl

ClockSetMark() - Constructor for class tesl.ClockSetMark

clockType_ - Variable in class modhelxs.state_management.TimedManagedBlock

The type of the time for the observation clock.

clockType_ - Variable in class modhelxs.state_management.TimedManagedInterfaceBlock

The type of the time for the observation clock.

cmd_down - Variable in class demos.powerwindow.models.WindowController

cmd_down() - Method in class demos.powerwindow.models.WindowController

cmd_stop - Variable in class demos.powerwindow.models.WindowController

cmd_stop() - Method in class demos.powerwindow.models.WindowController

cmd_up - Variable in class demos.powerwindow.models.WindowController

cmd_up() - Method in class demos.powerwindow.models.WindowController

CoffeeMachine_Test - Class in demos

A DE model of a user and a TFSM coffee machine.

CoffeeMachine_Test() - Constructor for class demos.CoffeeMachine_Test

colors - Static variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter

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

Commit the transient value into the permanent value.

commit() - Method in class modhelxs.state_management.ListAttribute

commit() - Method in class modhelxs.state_management.MapAttribute

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

Commit the changes to this State.

commit() - Method in interface modhelxs.state_management.StateValue

commit() - Method in class modhelxs.state_management.TransientMap

Commit the transient value into the permanent value.

commit() - Method in class modhelxs.state_management.TransientValue

Commit the transient value into the permanent value.

commitValues(Collection<Field>) - Method in class modhelxs.state_management.State

compareTags(Tag<T>, Tag<U>) - Static method in class tesl.ClockSet

compareTo(Tag<T>) - Method in class tesl.Tag

compareTo(T) - Method in class tesl.Tag

compareTo(Tick<T>) - Method in class tesl.Tick

compareTo(Unit) - Method in class tesl.Unit

computeCurrentTime() - Method in class modhelxs.mocs.de.DEMoC

Compute the current time by looking at the tag of the first tagged event on the DE clock.

computeCurrentTime() - Method in class modhelxs.mocs.tfsm.TFSMMoC

Compute the current time by looking at the tag of the first tagged event on the tfsm clock.

computeSnapshot(ClockSetMark) - Method in class modhelxs.abstractsemantics.Engine

Compute a snapshot.

connect(Pin, Pin) - Method in class modhelxs.abstractsemantics.Block

Connect one of my pins to another pin.

connect(Pin, Pin) - Method in class modhelxs.abstractsemantics.InterfaceBlock

Connect one of my pins to another pin.

connect(Pin, Pin) - Method in class modhelxs.abstractsemantics.Model

Connect one of my pins to another pin.

connect(Pin, Pin) - Method in class modhelxs.abstractsemantics.ObservableEntity

Connect one of my pins to another pin.

connectFromInterfaceBlock(InterfaceBlock, Pin, Pin) - Method in class modhelxs.abstractsemantics.Block

Connect pin other of InterfaceBlock intfBlock to my pin mine.

connectFromInterfaceBlock(InterfaceBlock, Pin, Pin) - Method in class modhelxs.abstractsemantics.Model

Connect pin other of InterfaceBlock intfBlock to my pin mine.

connectFromInterfaceBlock(InterfaceBlock, Pin, Pin) - Method in class modhelxs.abstractsemantics.ObservableEntity

Connect pin other of InterfaceBlock intfBlock to my pin mine.

connectFromModel(Model<?>, Pin, Pin) - Method in class modhelxs.abstractsemantics.Block

Connect pin other of Model model to my pin mine.

connectFromModel(Model<?>, Pin, Pin) - Method in class modhelxs.abstractsemantics.InterfaceBlock

Connect pin other of Model model to my pin mine.

connectFromModel(Model<?>, Pin, Pin) - Method in class modhelxs.abstractsemantics.Model

Connect pin other of Model model to my pin mine.

connectFromModel(Model<?>, Pin, Pin) - Method in class modhelxs.abstractsemantics.ObservableEntity

Connect pin other of Model model to my pin mine.

connectFromRegularBlock(Block, Pin, Pin) - Method in class modhelxs.abstractsemantics.Block

Connect pin other of regular Block block to my pin mine.

connectFromRegularBlock(Block, Pin, Pin) - Method in class modhelxs.abstractsemantics.Model

Connect pin other of regular Block block to my pin mine.

connectFromRegularBlock(Block, Pin, Pin) - Method in class modhelxs.abstractsemantics.ObservableEntity

Connect pin other of regular Block block to my pin mine.

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

cons_rate - Variable in class modhelxs.mocs.sdf.SDFMoC.RelationState

copy() - Method in class tesl.Tag

copyTick(Tick<T>) - Method in class tesl.Clock

counting - Variable in class tesl.tests.DelayedImplicationTest

counting_ - Variable in class tesl.DelayedImplication

createAdaptationRelation(Pin, Pin) - Method in class modhelxs.abstractsemantics.InterfaceBlock

Create a relation between a pin of the interface block and a pin of the internal model (or vice versa).

createMasterImplication(Clock<U>) - Method in class tesl.Clock

Deprecated.

createRelation(Pin, Pin) - Method in class modhelxs.abstractsemantics.BlockStructure

Create a relation between two pins in the structure.

createRelation(Pin, Pin) - Method in class modhelxs.abstractsemantics.Model

Connect two pins in this model.

createSlaveImplication(Clock<U>) - Method in class tesl.Clock

createToken(Object) - Method in class modhelxs.abstractsemantics.ModelOfComputation

Create a new token for this MoC.

createToken(Object) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl

current_block_ - Variable in class modhelxs.mocs.sdf.SDFMoC

current_count - Variable in class modhelxs.mocs.sdf.SDFMoC.RelationState

current_time_ - Variable in class modhelxs.mocs.de.AbstractDEMoC

The current DE time.

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

The current TFSM time.

current_value_ - Variable in class demos.atomicblocks.SDFSampleDelay

currentPinValue_ - Variable in class demos.semantic_adaptation.DE_SDF_InterfaceBlock

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