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

S

sameTags(Clock<T>) - Method in class tesl.Clock
 
SameTags<T extends java.lang.Comparable<? super T>> - Class in tesl
 
SameTags(Clock<T>, Clock<T>) - Constructor for class tesl.SameTags
 
sanityCheck() - Method in class modhelxs.abstractsemantics.Block
 
sanityCheck() - Method in class modhelxs.abstractsemantics.BlockStructure
Perform sanity check before setup.
sanityCheck() - Method in class modhelxs.abstractsemantics.Model
 
sanityCheck() - Method in class modhelxs.abstractsemantics.ObservableEntity
Perform sanity check before setup.
scale - Variable in class demos.atomicblocks.SDFScale
 
scenario_ - Variable in class demos.atomicblocks.DEScenario
 
schedule(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation
Choose a block to be updated.
schedule(BlockStructure) - Method in class modhelxs.mocs.de.DEMoC
 
schedule(BlockStructure) - Method in class modhelxs.mocs.sdf.SDFMoC
 
schedule(BlockStructure) - Method in class modhelxs.mocs.tfsm.TFSMMoC
 
schedule_ - Variable in class modhelxs.mocs.sdf.SDFMoC
 
scheduled_blocks_ - Variable in class modhelxs.mocs.sdf.SDFMoC
Schedule of the blocks (sorted in topological order and appearing as many times as they must be updated).
sdf_clock_ - Variable in class modhelxs.mocs.sdf.SDFMoC
The observation clock of SDF.
SDFAdder - Class in demos.atomicblocks
An SDFAdder is an SDF block which computes the sum of the tokens on all its input pins and puts the result on all its output pins.
SDFAdder(String) - Constructor for class demos.atomicblocks.SDFAdder
 
SDFConst - Class in demos.atomicblocks
An SDFConst is an SDF Block which produces the same value on all its Pins at each update.
SDFConst(String, Object...) - Constructor for class demos.atomicblocks.SDFConst
 
SDFIntegrator - Class in demos.atomicblocks
An SDFIntegrator sums adds all the values received on its inputs to its internal state and produced this state on all its outputs.
SDFIntegrator(String, Object...) - Constructor for class demos.atomicblocks.SDFIntegrator
 
SDFLimitedIntegrator - Class in demos.atomicblocks
An SDFLimitedIntegrator is an integrator whose output is maintained between a lower_limit and an upper_limit (set by properties).
SDFLimitedIntegrator(String, Object...) - Constructor for class demos.atomicblocks.SDFLimitedIntegrator
 
SDFLimiter - Class in demos.atomicblocks
 
SDFLimiter(String, Object...) - Constructor for class demos.atomicblocks.SDFLimiter
 
SDFMoC - Class in modhelxs.mocs.sdf
 
SDFMoC(String) - Constructor for class modhelxs.mocs.sdf.SDFMoC
 
SDFMoC.RelationState - Class in modhelxs.mocs.sdf
 
SDFMoC.RelationState(Relation) - Constructor for class modhelxs.mocs.sdf.SDFMoC.RelationState
 
SDFRamp - Class in demos.atomicblocks
A Ramp is a Block which produces an increasing value on all its Pins at each update.
SDFRamp(String, Object...) - Constructor for class demos.atomicblocks.SDFRamp
 
SDFSampleDelay - Class in demos.atomicblocks
An SDFSampleDelay is an SDF block which delays its input by one sample.
SDFSampleDelay(String, Object...) - Constructor for class demos.atomicblocks.SDFSampleDelay
 
SDFScale - Class in demos.atomicblocks
An SDFScale is an SDF block which scales its input.
SDFScale(String, Object...) - Constructor for class demos.atomicblocks.SDFScale
 
SDFTest - Class in demos
Test a simple model with SDF.
SDFTest() - Constructor for class demos.SDFTest
 
SDFTextDisplay - Class in demos.atomicblocks
A TextDisplay is a Block which displays the value of all the tokens on each of its pins at each update.
SDFTextDisplay(String) - Constructor for class demos.atomicblocks.SDFTextDisplay
 
serialVersionUID - Static variable in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent
 
serialVersionUID - Static variable in exception modhelxs.mocs.tfsm.parser.EvaluationException
 
setClockSet(ClockSet) - Method in class tesl.Clock
 
setCurrentState(Block) - Method in class modhelxs.mocs.tfsm.TFSMMoC
 
setEngine(Engine) - Method in class modhelxs.abstractsemantics.Model
 
setFeeder(EventFeeder) - Method in class demos.powerwindow.gui.WindowGUI
 
setGreedy(boolean) - Method in class tesl.Clock
 
setInitialState(FSMState) - Method in class modhelxs.mocs.tfsm.TFSMMoC
 
setListener(Engine) - Method in class modhelxs.simulation.DrivingClock
Set the execution engine which is driven by this clock.
setLoggingLevel(String, Level) - Static method in class modhelxs.util.Logging
Set the logging level of logger name to level l.
setMark(ClockSetMark) - Method in class tesl.ClockSet
 
setModel(Model<?>) - Method in class modhelxs.abstractsemantics.BlockStructure
Set the model this structure belongs to.
setName(String) - Method in class modhelxs.abstractsemantics.NamedEntity
 
setName(String) - Method in interface modhelxs.ecore.NamedEntity
Set the name of this entity.
setNextInternalObservationTime(I) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock
Set the next observation date of the block.
setNextObservationTime(T) - Method in class modhelxs.state_management.TimedManagedBlock
Set the next observation date of the block.
setNextObservationTime(T) - Method in class modhelxs.state_management.TimedManagedInterfaceBlock
Set the next observation date of the block.
setNotInstantaneouslyDependent(Pin) - Static method in class modhelxs.mocs.de.AbstractDEMoC
Set pin p as not instantaneously dependent.
setNow(Tick<T>, boolean) - Method in class tesl.Clock
 
setNow(boolean) - Method in class tesl.Tick
 
setNumberOfInitialTokens(Pin, int) - Static method in class modhelxs.mocs.sdf.SDFMoC
Set number of initial tokens on pin p.
setObstacle(boolean) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent
 
setOwner(ObservableEntity) - Method in class modhelxs.abstractsemantics.Pin
Set the owner of this pin.
setParent(BlockStructure) - Method in class modhelxs.abstractsemantics.Block
Set the BlockStructure this block belongs to.
setParent(InterfaceBlock) - Method in class modhelxs.abstractsemantics.Model
Set the interface block that contains this model.
setPinRate(Pin, int) - Static method in class modhelxs.mocs.sdf.SDFMoC
Set production/consumption rate for pin p.
setPos(double) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent
 
setProperties(Object...) - Method in class modhelxs.abstractsemantics.NamedEntity
Set properties of the entity using a String/value list.
setProperty(String, T) - Method in class modhelxs.abstractsemantics.NamedEntity
Set property name of the entity to value.
setSource(ObservableEntity) - Method in interface demos.atomicblocks.Probe.PinListener
 
setSource(ObservableEntity) - Method in class demos.powerwindow.gui.WindowGUI
 
setTag(Tick<T>, Tag<T>) - Method in class tesl.Clock
 
setTag(Tick<T>, Tag<? extends Comparable<?>>) - Static method in class tesl.ClockSet
 
setTag(Tag<T>) - Method in class tesl.Tick
 
setTagValue(Tick<T>, T) - Method in class tesl.Clock
 
setTagValue(T) - Method in class tesl.Tick
 
setTinted(boolean) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent
 
setTokenValue(Token, Object) - Method in class modhelxs.abstractsemantics.ModelOfComputation
Set the value associated to a token by this MoC.
setTokenValue(Token, Object) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl
 
setup() - Method in class demos.atomicblocks.DEPlotter.PlotterWindow.PlotInfo
 
setup(NamedEntity, Collection<Pin>) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter
 
setup(NamedEntity, Collection<Pin>) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow
 
setup() - Method in interface demos.atomicblocks.Probe.PinListener
 
setup() - Method in class demos.atomicblocks.SDFSampleDelay
 
setup() - Method in class demos.powerwindow.gui.WindowGUI
 
setup() - Method in class modhelxs.abstractsemantics.AtomicBlock
 
setup() - Method in class modhelxs.abstractsemantics.BlockStructure
Setup the structure for a simulation.
setup() - Method in class modhelxs.abstractsemantics.InterfaceBlock
 
setup() - Method in class modhelxs.abstractsemantics.Model
 
setup(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation
Setup for simulation.
setup(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl
 
setup() - Method in class modhelxs.abstractsemantics.ObservableEntity
Prepare for the simulation.
setup(BlockStructure) - Method in class modhelxs.mocs.de.DEMoC
 
setup(BlockStructure) - Method in class modhelxs.mocs.sdf.SDFMoC
 
setup(BlockStructure) - Method in class modhelxs.mocs.tfsm.TFSMMoC
 
setup() - Method in class modhelxs.state_management.ManagedBlock
The setup behavior of the ManagedBlock, which manages the state values and calls doSetup().
setup() - Method in class modhelxs.state_management.ManagedInterfaceBlock
The setup behavior of the ManagedInterfaceBlock, which manages the state values and calls doSetup().
setValid(boolean) - Method in class modhelxs.mocs.tfsm.parser.Expression
 
setValue(Object) - Method in class modhelxs.abstractsemantics.Token
Set the value which is associated to this token.
setValue(T) - Method in class modhelxs.state_management.Attribute
Set the transient value of the attribute.
setValue(Value<T>) - Method in class modhelxs.state_management.Attribute
Set the transient value of the attribute.
setValue(T) - Method in class modhelxs.state_management.Value
Set the value stored in this storage.
setValue(Value<T>) - Method in class modhelxs.state_management.Value
Set the value stored in this storage.
shouldUpdateModel() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock
 
shouldUpdateModel() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock
 
shouldUpdateModel() - Method in class modhelxs.state_management.ManagedInterfaceBlock
Should the internal model be updated.
shouldUpdateModel() - Method in class modhelxs.state_management.PlainManagedInterfaceBlock
 
shouldUpdateModel() - Method in class modhelxs.state_management.TimedManagedInterfaceBlock
 
sigColors - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter
 
size() - Method in class modhelxs.abstractsemantics.BlockStructure
Get the number of blocks in this structure.
size() - Method in class modhelxs.state_management.ListAttribute
Get the length of this list.
skip_ - Variable in class tesl.FilteredImplication
 
slave - Variable in class tesl.tests.DelayedImplicationTest
 
slave - Variable in class tesl.tests.FilteredImplicationTest
 
slave - Variable in class tesl.tests.SustainedImplicationTest
 
slave_ - Variable in class tesl.ImplicationRelation
 
slaves_ - Variable in class tesl.ClockSet
 
snap_statevalues_ - Variable in class modhelxs.state_management.State
 
snap_values_ - Variable in class demos.atomicblocks.EventFeeder
 
snapshot_clock_ - Variable in class modhelxs.abstractsemantics.Engine
The clock that triggers the snapshots of the root model.
SnapshotAttribute - Annotation Type in modhelxs.state_management
An annotation to specify that a state value is to be reverted at start of snapshot instead of reset time.
solve() - Method in class tesl.ClockSet
 
solve(Tick<T>) - Method in class tesl.ClockSet
 
solver - Variable in class tesl.tests.DelayedImplicationTest
 
solver - Variable in class tesl.tests.FilteredImplicationTest
 
solver - Variable in class tesl.tests.SustainedImplicationTest
 
solver_ - Variable in class modhelxs.abstractsemantics.Engine
The clock solver used by this engine.
solveTags() - Method in class tesl.ClockSet
 
solveTicks() - Method in class tesl.ClockSet
 
sorted_blocks_ - Variable in class modhelxs.mocs.de.DEMoC
A list of the blocks of the structure is topological order.
start - Variable in class tesl.tests.SustainedImplicationTest
 
startOfSnapshot() - Method in class modhelxs.abstractsemantics.AtomicBlock
 
startOfSnapshot() - Method in class modhelxs.abstractsemantics.BlockStructure
Start a new snapshot.
startOfSnapshot() - Method in class modhelxs.abstractsemantics.InterfaceBlock
 
startOfSnapshot() - Method in class modhelxs.abstractsemantics.Model
 
startOfSnapshot(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation
Start the computation of a new snapshot on structure s.
startOfSnapshot(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl
 
startOfSnapshot() - Method in class modhelxs.abstractsemantics.ObservableEntity
Start a new snapshot (observation round).
startOfSnapshot() - Method in class modhelxs.state_management.ManagedBlock
 
startOfSnapshot() - Method in class modhelxs.state_management.ManagedInterfaceBlock
 
startOfUpdate() - Method in class modhelxs.abstractsemantics.AtomicBlock
 
startOfUpdate() - Method in class modhelxs.abstractsemantics.Model
 
startOfUpdate(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation
Called at the beginning of an update of an inner block (get partial inputs from the upper model).
startOfUpdate() - Method in class modhelxs.abstractsemantics.ObservableEntity
Start a partial update (get partial inputs from the outer model).
startOfUpdate(BlockStructure) - Method in class modhelxs.mocs.de.DEMoC
 
startOfUpdate(BlockStructure) - Method in class modhelxs.mocs.sdf.SDFMoC
 
startOfUpdate(BlockStructure) - Method in class modhelxs.mocs.tfsm.TFSMMoC
 
startOfUpdate() - Method in class modhelxs.state_management.ManagedBlock
 
startOfUpdate() - Method in class modhelxs.state_management.ManagedInterfaceBlock
 
startSolving() - Method in class tesl.ImplicationRelation
 
State - Class in modhelxs.state_management
A State manages the state of a NamedEntity, which is composed of its field of type StateValue.
State(NamedEntity) - Constructor for class modhelxs.state_management.State
Create a State for handling the state values of e.
state_ - Variable in class demos.atomicblocks.SDFIntegrator
 
state_ - Variable in class demos.atomicblocks.SDFLimitedIntegrator
 
state_machine_ - Variable in class modhelxs.mocs.tfsm.TFSMMoC
 
StateValue - Interface in modhelxs.state_management
 
statevalues_ - Variable in class modhelxs.state_management.State
A name->attribute map of the state values of the owner.
step_pattern - Static variable in class demos.atomicblocks.DEScenario
 
stop - Variable in class tesl.tests.SustainedImplicationTest
 
stop_clock_ - Variable in class modhelxs.abstractsemantics.Engine
A clock used to tell the engine to stop.
stopAfter(int) - Method in class modhelxs.abstractsemantics.Engine
Stop simulation after n snapshots.
structure_ - Variable in class modhelxs.abstractsemantics.Block
The BlockStructure this block belongs to.
structure_ - Variable in class modhelxs.abstractsemantics.Model
The structure that holds the blocks of this model.
structure_ - Variable in class modhelxs.util.BlockStructureNavHelper
The structure in which we navigate.
subtract(Integer, Integer) - Method in class tesl.IntegerCalc
 
subtract(Long, Long) - Method in class tesl.LongCalc
 
subtract(Double, Double) - Method in class tesl.RoundDouble
 
subtract(T, T) - Method in interface tesl.TagCalculus
 
subtract(Unit, Unit) - Method in class tesl.UnitCalc
 
successors_ - Variable in class modhelxs.abstractsemantics.Pin
The list of pins which are the target of a relation which has this pin as origin.
sum_ - Variable in class demos.atomicblocks.SDFAdder
 
SustainedImplication<M1 extends java.lang.Comparable<? super M1>,M2 extends java.lang.Comparable<? super M2>,M3 extends java.lang.Comparable<? super M3>,S extends java.lang.Comparable<? super S>> - Class in tesl
A clock implication which creates ticks on the slave at each tick of the master between a tick of start and a tick of stop.
SustainedImplication(Clock<M1>, Clock<M2>, Clock<M3>, Clock<S>, Occurrence, Preemption) - Constructor for class tesl.SustainedImplication
Constructor
SustainedImplication(Clock<M1>, Clock<M2>, Clock<M3>, Clock<S>) - Constructor for class tesl.SustainedImplication
Constructor for a not immediate and not weak sustained implication
SustainedImplication.SustainedImplicationBackup - Class in tesl
 
SustainedImplication.SustainedImplicationBackup() - Constructor for class tesl.SustainedImplication.SustainedImplicationBackup
 
SustainedImplicationTest - Class in tesl.tests
 
SustainedImplicationTest() - Constructor for class tesl.tests.SustainedImplicationTest
 
sustains(Clock<S>, Clock<M2>, Clock<M3>, Occurrence, Preemption) - Method in class tesl.Clock
Make this clock sustain clock slave between occurrences of start and stop.
sustains(Clock<S>, Clock<M2>, Clock<M3>) - Method in class tesl.Clock
 
SwingButtonClock - Class in modhelxs.simulation
A SwingButtonClock is an event feeder clock that ticks when a Swing button is pressed.
SwingButtonClock(String, String) - Constructor for class modhelxs.simulation.SwingButtonClock
Build a new SwingButton clock
SynchronizingRTClock - Class in modhelxs.simulation
A driving clock that ticks on real time.
SynchronizingRTClock(String) - Constructor for class modhelxs.simulation.SynchronizingRTClock
 
SynchronizingRTClock.ClockBackup - Class in modhelxs.simulation
 
SynchronizingRTClock.ClockBackup() - Constructor for class modhelxs.simulation.SynchronizingRTClock.ClockBackup
 
SynchronizingRTClock.SynchronizingRTThread - Class in modhelxs.simulation
The thread used to notify the execution engine when a tick is produced on the clock.
SynchronizingRTClock.SynchronizingRTThread() - Constructor for class modhelxs.simulation.SynchronizingRTClock.SynchronizingRTThread
 

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