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

A

a_ - Variable in class tesl.AffineTags
 
AbstractDEMoC - Class in modhelxs.mocs.de
AbstractDEMoC declares the common abstract semantics of Discrete Events MoCs.
AbstractDEMoC(String) - Constructor for class modhelxs.mocs.de.AbstractDEMoC
 
accept(Relation) - Method in interface modhelxs.util.RelationFilter
Tell if relation r should be kept.
actionPerformed(ActionEvent) - Method in class demos.powerwindow.gui.WindowGUI
 
actionPerformed(ActionEvent) - Method in class modhelxs.simulation.SwingButtonClock
Called when the button is pressed.
activate() - Method in class modhelxs.simulation.ASAPClock
 
activate() - Method in class modhelxs.simulation.DrivingClock
Activate the clock: make it ready to produce a tick and notify the engine.
activate() - Method in class modhelxs.simulation.EventFeederClock
 
activate() - Method in class modhelxs.simulation.PeriodicRTClock
 
activate() - Method in class modhelxs.simulation.SwingButtonClock
 
activate() - Method in class modhelxs.simulation.SynchronizingRTClock
 
adaptation_ - Variable in class modhelxs.abstractsemantics.InterfaceBlock
The relations between the pins of the interface block and the pins of the internal model.
adaptIn() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock
 
adaptIn() - Method in class demos.semantic_adaptation.DE_SDF_InterfaceBlock
 
adaptIn() - Method in class demos.semantic_adaptation.DE_SDF_LinInterpolator
 
adaptIn() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock
 
adaptIn() - Method in class modhelxs.abstractsemantics.InterfaceBlock
Adapt data, time and control from the outer model to the inner one.
adaptOut() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock
 
adaptOut() - Method in class demos.semantic_adaptation.DE_SDF_InterfaceBlock
 
adaptOut() - Method in class demos.semantic_adaptation.DE_SDF_LinInterpolator
 
adaptOut() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock
 
adaptOut() - Method in class modhelxs.abstractsemantics.InterfaceBlock
Adapt data, time and control from the inner model to the outer one.
add(Block) - Method in class modhelxs.abstractsemantics.BlockStructure
Add a block to this structure.
add(B) - Method in class modhelxs.abstractsemantics.Model
Add a block to this model.
add(T) - Method in class modhelxs.state_management.ListAttribute
Add a value to the transient list.
add(Integer, Integer) - Method in class tesl.IntegerCalc
 
add(Long, Long) - Method in class tesl.LongCalc
 
add(Double, Double) - Method in class tesl.RoundDouble
 
add(T, T) - Method in interface tesl.TagCalculus
 
add(Unit, Unit) - Method in class tesl.UnitCalc
 
addClock(Clock<T>) - Method in class tesl.ClockSet
 
addClock(ClockBackupInterface<?>) - Method in class tesl.ClockSetMark
 
addClockOperation(ClockOperation<?>) - Method in class modhelxs.abstractsemantics.Engine
Add a clock operation to perform before the next iteration when the snapshot is not validated.
addImplication(ImplicationBackupInterface) - Method in class tesl.ClockSetMark
 
addImplicationRelation(ImplicationRelation) - Method in class tesl.ClockSet
 
addIncoming(Relation) - Method in class modhelxs.abstractsemantics.Pin
Add an incoming relation to this pin.
addOutgoing(Relation) - Method in class modhelxs.abstractsemantics.Pin
Add an outgoing relation to this pin.
addPin(Pin) - Method in class modhelxs.abstractsemantics.ObservableEntity
Add a pin to this entity.
addPlotPoint(Pin, double, double) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow
 
addPlotPoint(Pin, double, double) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter
 
addRelationStateToPinMap(HashMap<Pin, List<SDFMoC.RelationState>>, Pin, SDFMoC.RelationState) - Static method in class modhelxs.mocs.sdf.SDFMoC
 
addTagRelation(TagRelation<?, ?>) - Method in class tesl.ClockSet
 
addToken(Token) - Method in class modhelxs.abstractsemantics.Pin
Add a token to this pin.
addToMapSet(Map<U, Set<V>>, U, V) - Static method in class modhelxs.util.BlockStructureNavHelper
Helper function to add a value to a list associate to a key in a map.
adjustTime(long) - Method in class modhelxs.simulation.SynchronizingRTClock
Adjust the reference time when missing real time dead lines.
advanceNextInternalObservationTime(I) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock
Add a duration to the next observation date of the block.
advanceNextInternalObservationTime(Value<I>) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock
Add a duration to the next observation date of the block.
advanceNextObservationTime(T) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock
Add a duration to the next observation date of the block.
advanceNextObservationTime(Value<T>) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock
Add a duration to the next observation date of the block.
AffineTags<T extends java.lang.Comparable<? super T>> - Class in tesl
An AffineTags relation is a tag relation which specifies that the tag of the "to" clock are an affine function of the tags of the "from" clock: to = a * from + b
AffineTags(Clock<T>, Clock<T>, T, T) - Constructor for class tesl.AffineTags
 
affineTags(Clock<T>, T, T) - Method in class tesl.Clock
 
alignFloatingTime() - Method in class tesl.ClockSet
 
applied_now_ - Variable in class tesl.ImplicationRelation
 
apply() - Method in class tesl.ImplicationRelation
 
args - Variable in class modhelxs.mocs.tfsm.parser.BinaryOperator
 
arrow_length - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter
 
arrow_width - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter
 
ASAPClock - Class in modhelxs.simulation
An ASAPClock is a kind of driving clock that always has a tick as soon as possible
ASAPClock(String) - Constructor for class modhelxs.simulation.ASAPClock
 
ASAPClock.ASAPThread - Class in modhelxs.simulation
Thread used to notify the execution engine.
ASAPClock.ASAPThread() - Constructor for class modhelxs.simulation.ASAPClock.ASAPThread
 
ASAPClock.ClockBackup - Class in modhelxs.simulation
 
ASAPClock.ClockBackup() - Constructor for class modhelxs.simulation.ASAPClock.ClockBackup
 
AtomicBlock - Class in modhelxs.abstractsemantics
A block without an explicit ModHel'X model (opaque behavior).
AtomicBlock(String) - Constructor for class modhelxs.abstractsemantics.AtomicBlock
 
AtomicBlock(String, Object...) - Constructor for class modhelxs.abstractsemantics.AtomicBlock
 
AtomicBlock - Interface in modhelxs.ecore
An AtomicBlock is a block whose behavior is not modeled in ModHel'X (opaque behavior).
Attribute<T> - Class in modhelxs.state_management
An Attribute is a storage with commit and revert operations.
Attribute(Class<T>, boolean) - Constructor for class modhelxs.state_management.Attribute
Create an attribute for storing a value of type type.
Attribute(Class<T>) - Constructor for class modhelxs.state_management.Attribute
Create an attribute for storing a value of type type.

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