Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
I
immediate_
- Variable in class tesl.
DelayedImplication
immediate_
- Variable in class tesl.
SustainedImplication
impl_mark_
- Variable in class tesl.
ClockSetMark
Implication
<
M
extends java.lang.Comparable<? super
M
>,
S
extends java.lang.Comparable<? super
S
>> - Class in
tesl
A clock relation which creates a tick on the slave (super) clock each time there is a tick on the master (sub) clock.
Implication(Clock<M>, Clock<S>)
- Constructor for class tesl.
Implication
Constructor
Implication.ImplicationBackup
- Class in
tesl
Implication.ImplicationBackup()
- Constructor for class tesl.
Implication.ImplicationBackup
ImplicationBackupInterface
- Interface in
tesl
implicationBackups()
- Method in class tesl.
ClockSetMark
ImplicationRelation
- Class in
tesl
ImplicationRelation(Clock<?>, Clock<?>...)
- Constructor for class tesl.
ImplicationRelation
ImplicationTest
- Class in
tesl.tests
ImplicationTest()
- Constructor for class tesl.tests.
ImplicationTest
implies(Clock<S>)
- Method in class tesl.
Clock
impliesThroughFilter(Clock<S>, int, int, int, int)
- Method in class tesl.
Clock
impliesWithDelay(Clock<S>, Clock<C>, int, boolean)
- Method in class tesl.
Clock
impliesWithDelay(Clock<S>, Clock<C>, int)
- Method in class tesl.
Clock
in_
- Variable in class modhelxs.mocs.tfsm.
FSMState
incoming_
- Variable in class modhelxs.abstractsemantics.
Pin
The relations that have this pin as target.
incoming_event
- Variable in class demos.semantic_adaptation.
DE_TFSM_InterfaceBlock
increment
- Variable in class demos.atomicblocks.
DERamp
increment_
- Variable in class demos.atomicblocks.
SDFRamp
induceTicks()
- Method in class tesl.
DelayedImplication
Determine whether a tick should be set as "now" on the slave clock Impose the slave clock to tick synchronously with the n-th tick of the counter clock (master2 clock) following a tick of the reference clock (master1 clock)
induceTicks()
- Method in class tesl.
FilteredImplication
Determine whether a tick should be set "now" on the subclock slave clock.
induceTicks()
- Method in class tesl.
Implication
induceTicks()
- Method in class tesl.
ImplicationRelation
induceTicks()
- Method in class tesl.
SustainedImplication
info
- Variable in class demos.atomicblocks.
DEPlotter.PlotterWindow.PlotInfo
init(T)
- Method in class modhelxs.state_management.
Value
Set the initial value of this storage.
init_count
- Variable in class modhelxs.mocs.sdf.
SDFMoC.RelationState
initFromProperties(String...)
- Method in class modhelxs.state_management.
ManagedBlock
Initialize the state values and parameters of the block from its properties.
initFromProperties(String...)
- Method in class modhelxs.state_management.
ManagedInterfaceBlock
Initialize the state values and parameters of the block from its properties.
initFromProperties(String...)
- Method in class modhelxs.state_management.
State
Initialize the fields of type
Value
of the NamedEntity owning this state from its properties.
initFromProperty(NamedEntity, String)
- Method in class modhelxs.state_management.
Value
Set the initial value of this storage from a property of a NamedEntity.
initialState_
- Variable in class modhelxs.mocs.tfsm.
TFSMMoC
initNextObservationTime(T)
- Method in class modhelxs.state_management.
TimedManagedBlock
Initialize the next observation date of the block (during setup).
INITTOKENS_PROPERTY
- Static variable in class modhelxs.mocs.sdf.
SDFMoC
Name of the property of pin that do not depend instantaneously on the behavior of their block.
input()
- Method in class demos.atomicblocks.
DEDelay
input()
- Method in class demos.atomicblocks.
DETestLogger
input()
- Method in class demos.atomicblocks.
DETextDisplay
input(int)
- Method in class demos.atomicblocks.
SDFAdder
input
- Variable in class demos.atomicblocks.
SDFLimiter
input()
- Method in class demos.atomicblocks.
SDFLimiter
input()
- Method in class demos.atomicblocks.
SDFSampleDelay
input
- Variable in class demos.atomicblocks.
SDFScale
input()
- Method in class demos.atomicblocks.
SDFScale
input()
- Method in class demos.atomicblocks.
SDFTextDisplay
input_
- Variable in class demos.atomicblocks.
DEDelay
The input and output pins of the Delay.
input_
- Variable in class demos.atomicblocks.
DETestLogger
input_
- Variable in class demos.atomicblocks.
DETextDisplay
input_
- Variable in class demos.atomicblocks.
SDFAdder
input_
- Variable in class demos.atomicblocks.
SDFSampleDelay
input_
- Variable in class demos.atomicblocks.
SDFTextDisplay
input_relations_
- Variable in class modhelxs.util.
BlockStructureNavHelper
Set of input relations (relations from pins of the model to pins of the blocks)
inputpins_
- Variable in class modhelxs.abstractsemantics.
Block
The input pins of this block.
inputpins_
- Variable in class modhelxs.abstractsemantics.
InterfaceBlock
The set of input pins (cached value).
inputpins_
- Variable in class modhelxs.abstractsemantics.
Model
inputPinValue_
- Variable in class demos.semantic_adaptation.
DE_SDF_LinInterpolator
Current value of each input pin.
instance
- Static variable in class tesl.
Unit
instance_
- Static variable in class demos.powerwindow.gui.
WindowGUI
IntegerCalc
- Class in
tesl
A tag calculus on integers which uses the regular int operators
IntegerCalc()
- Constructor for class tesl.
IntegerCalc
InterfaceBlock
- Class in
modhelxs.abstractsemantics
An InterfaceBlock is a special kind of Block.
InterfaceBlock(String, Model<?>, Object...)
- Constructor for class modhelxs.abstractsemantics.
InterfaceBlock
InterfaceBlock
- Interface in
modhelxs.ecore
An InterfaceBlock is a block whose behavior is described by a model.
internal_
- Variable in class modhelxs.abstractsemantics.
InterfaceBlock
The internal model of this interface block.
internal_moc_
- Variable in class demos.semantic_adaptation.
DE_TFSM_InterfaceBlock
internal_relations_
- Variable in class modhelxs.util.
BlockStructureNavHelper
Set of internal relations (relations between pins that do not belong to the model)
internal_was_updated_
- Variable in class modhelxs.state_management.
ManagedInterfaceBlock
Transient value telling whether the internal model was updated during this snapshot.
internalClockType_
- Variable in class modhelxs.state_management.
TimedManagedInterfaceBlock
The type of the time for the observation clock of the internal model.
internalObservationClock()
- Method in class modhelxs.state_management.
TimedManagedInterfaceBlock
Return the observation clock of the block.
internalWasUpdated()
- Method in class modhelxs.state_management.
ManagedInterfaceBlock
Tell whether the internal model was updated during this snapshot.
interpolation_time_
- Variable in class demos.semantic_adaptation.
DE_SDF_LinInterpolator
Time at which the upper bounds in interpolationTable_ were reached.
interpolationTable_
- Variable in class demos.semantic_adaptation.
DE_SDF_LinInterpolator
Upper bound of the value of the output pins of the internal model in an interpolation step.
isGreedy()
- Method in class tesl.
Clock
isLogging(String, Level)
- Static method in class modhelxs.util.
Logging
Tell if logger
name
is logging when level is
l
.
isNotInstantaneouslyDependent(Pin)
- Static method in class modhelxs.mocs.de.
AbstractDEMoC
Tell if pin
p
is instantaneously dependent.
isNow(Tick<T>)
- Method in class tesl.
Clock
isNow()
- Method in class tesl.
Tick
isValid
- Variable in class modhelxs.mocs.tfsm.parser.
Expression
isWhiteSpace(char)
- Static method in class modhelxs.mocs.tfsm.parser.
Expression
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
Y