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
 

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