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

D

data_ - Variable in class demos.atomicblocks.DEPlotter

data_ - Variable in class demos.atomicblocks.DETestLogger

data_ - Variable in class demos.atomicblocks.DETextDisplay

data_ - Variable in class demos.atomicblocks.SDFTextDisplay

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

The observation clock of this MoC.

DE_SDF_DumbInterfaceBlock - Class in demos.semantic_adaptation

A dumb interface block between DE and SDF.

DE_SDF_DumbInterfaceBlock(String, Model<Unit>, Object...) - Constructor for class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

DE_SDF_InterfaceBlock - Class in demos.semantic_adaptation

An interface block between DE and SDF which takes care of adapting data, time and control between the two MoCs.

DE_SDF_InterfaceBlock(String, Model<Unit>, Object...) - Constructor for class demos.semantic_adaptation.DE_SDF_InterfaceBlock

DE_SDF_LinInterpolator - Class in demos.semantic_adaptation

This is a special interface block (IB) between DE and SDF that can react to threshold crossing on the outputs of its internal SDF model.

DE_SDF_LinInterpolator(String, Model<Unit>, Object...) - Constructor for class demos.semantic_adaptation.DE_SDF_LinInterpolator

DE_SDF_Test - Class in demos

DE_SDF_Test() - Constructor for class demos.DE_SDF_Test

DE_TFSM_InterfaceBlock - Class in demos.semantic_adaptation

This DE/TFSM interface block implements decoding input DE events to TFSM input symbols and encoding TFSM output symbols into DE events.

DE_TFSM_InterfaceBlock(String, Model<Double>, Object...) - Constructor for class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

DEConst - Class in demos.atomicblocks

A DEConst is a Block for the Discrete Events MoC, which produces the same value on all its Pins at each update.

DEConst(String, Object...) - Constructor for class demos.atomicblocks.DEConst

DEDelay - Class in demos.atomicblocks

A DEDelay is a block for use with the Dicrete Events MoC, which introduces a time delay between occurrences of events on its input and on its output.

DEDelay(String, Object...) - Constructor for class demos.atomicblocks.DEDelay

DEDelay.DelayedOutput - Class in demos.atomicblocks

A delayed event to produce on output.

DEDelay.DelayedOutput(Object, double) - Constructor for class demos.atomicblocks.DEDelay.DelayedOutput

delay_ - Variable in class demos.atomicblocks.DEDelay

The time delay.

delay_ - Variable in class demos.powerwindow.gui.WindowGUI.RepaintThread

delay_ - Variable in class tesl.DelayedImplication

delayed_outputs_ - Variable in class demos.atomicblocks.DEDelay

The list of delayed events to produce.

DelayedImplication<M1 extends java.lang.Comparable<? super M1>,M2 extends java.lang.Comparable<? super M2>,S extends java.lang.Comparable<? super S>> - Class in tesl

DelayedImplication(Clock<M1>, Clock<M2>, Clock<S>, int, boolean) - Constructor for class tesl.DelayedImplication

Get slave by delaying reference (immediately or not) by n on counting

DelayedImplication(Clock<M1>, Clock<M2>, Clock<S>, int) - Constructor for class tesl.DelayedImplication

Get slave by delaying reference (not immediately) by n on counting

DelayedImplication.DelayedImplicationBackup - Class in tesl

DelayedImplication.DelayedImplicationBackup() - Constructor for class tesl.DelayedImplication.DelayedImplicationBackup

DelayedImplicationTest - Class in tesl.tests

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

DEMoC - Class in modhelxs.mocs.de

DEMoC implements a Discrete Events MoCs.

DEMoC() - Constructor for class modhelxs.mocs.de.DEMoC

DEMoC(String) - Constructor for class modhelxs.mocs.de.DEMoC

DEMoC.DEEvent - Class in modhelxs.mocs.de

An event in DE.

DEMoC.DEEvent(Block, Token, Pin) - Constructor for class modhelxs.mocs.de.DEMoC.DEEvent

Build a new DE event.

demos - package demos

demos.atomicblocks - package demos.atomicblocks

demos.powerwindow - package demos.powerwindow

demos.powerwindow.gui - package demos.powerwindow.gui

demos.powerwindow.models - package demos.powerwindow.models

demos.semantic_adaptation - package demos.semantic_adaptation

dependsOn(ImplicationRelation, ImplicationRelation) - Method in class tesl.ClockSet

DEPlotter - Class in demos.atomicblocks

A DEPlotter is a Block for the DE MoC which displays the value received on each of its Pins in a graphical window.

DEPlotter(String, Object...) - Constructor for class demos.atomicblocks.DEPlotter

DEPlotter.PlotterWindow - Class in demos.atomicblocks

DEPlotter.PlotterWindow(String) - Constructor for class demos.atomicblocks.DEPlotter.PlotterWindow

DEPlotter.PlotterWindow.PlotInfo - Class in demos.atomicblocks

DEPlotter.PlotterWindow.PlotInfo(DEPlotter.PlotterWindow.Plotter) - Constructor for class demos.atomicblocks.DEPlotter.PlotterWindow.PlotInfo

DEPlotter.PlotterWindow.Plotter - Class in demos.atomicblocks

DEPlotter.PlotterWindow.Plotter() - Constructor for class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter

DEPlotter.PlotterWindow.Plotter.PlotPoint - Class in demos.atomicblocks

DEPlotter.PlotterWindow.Plotter.PlotPoint(double, double) - Constructor for class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter.PlotPoint

DERamp - Class in demos.atomicblocks

A DERamp is a Block which produces an increasing value on all its pins at each snapshot.

DERamp(String, Object...) - Constructor for class demos.atomicblocks.DERamp

Create a DERamp with a name and properties.

DEScenario - Class in demos.atomicblocks

A DEScenario plays a scenario on its output pins.

DEScenario(String, Object...) - Constructor for class demos.atomicblocks.DEScenario

DEScenario.Step - Class in demos.atomicblocks

DEScenario.Step() - Constructor for class demos.atomicblocks.DEScenario.Step

DETest - Class in demos

Test a simple DE model with two ramps connected to two displays.

DETest() - Constructor for class demos.DETest

DETestLogger - Class in demos.atomicblocks

A DETestLogger is a Block which logs the value of each of its Pins at each snapshot.

DETestLogger(String) - Constructor for class demos.atomicblocks.DETestLogger

DETextDisplay - Class in demos.atomicblocks

A DETextDisplay is a Block which displays the value of each of its Pins at each snapshot.

DETextDisplay(String) - Constructor for class demos.atomicblocks.DETextDisplay

directConversion(T) - Method in class tesl.AffineTags

directConversion(T) - Method in class tesl.SameTags

directConversion(U) - Method in class tesl.TagRelation

directTagConversion(TagRelation<T, Double>) - Static method in class modhelxs.mocs.tfsm.TFSMMoC

divide(Integer, Integer) - Method in class tesl.IntegerCalc

divide(Long, Long) - Method in class tesl.LongCalc

divide(Double, Double) - Method in class tesl.RoundDouble

divide(T, T) - Method in interface tesl.TagCalculus

divide(Unit, Unit) - Method in class tesl.UnitCalc

do_add(Integer, Integer) - Static method in class tesl.IntegerCalc

do_add(Long, Long) - Static method in class tesl.LongCalc

do_add(Double, Double) - Static method in class tesl.RoundDouble

do_add(Unit, Unit) - Static method in class tesl.UnitCalc

do_divide(Integer, Integer) - Static method in class tesl.IntegerCalc

do_divide(Long, Long) - Static method in class tesl.LongCalc

do_divide(Double, Double) - Static method in class tesl.RoundDouble

do_divide(Unit, Unit) - Static method in class tesl.UnitCalc

do_multiply(Integer, Integer) - Static method in class tesl.IntegerCalc

do_multiply(Long, Long) - Static method in class tesl.LongCalc

do_multiply(Double, Double) - Static method in class tesl.RoundDouble

do_multiply(Unit, Unit) - Static method in class tesl.UnitCalc

do_subtract(Integer, Integer) - Static method in class tesl.IntegerCalc

do_subtract(Long, Long) - Static method in class tesl.LongCalc

do_subtract(Double, Double) - Static method in class tesl.RoundDouble

do_subtract(Unit, Unit) - Static method in class tesl.UnitCalc

doEndOfSnapshot() - Method in class demos.atomicblocks.DEConst

doEndOfSnapshot() - Method in class demos.atomicblocks.DEDelay

doEndOfSnapshot() - Method in class demos.atomicblocks.DEPlotter

doEndOfSnapshot() - Method in class demos.atomicblocks.DERamp

doEndOfSnapshot() - Method in class demos.atomicblocks.DEScenario

doEndOfSnapshot() - Method in class demos.atomicblocks.DETestLogger

doEndOfSnapshot() - Method in class demos.atomicblocks.DETextDisplay

doEndOfSnapshot() - Method in class demos.atomicblocks.EventFeeder

doEndOfSnapshot() - Method in class demos.atomicblocks.Probe

doEndOfSnapshot() - Method in class demos.atomicblocks.SDFTextDisplay

doEndOfSnapshot() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doEndOfSnapshot() - Method in class demos.semantic_adaptation.DE_SDF_InterfaceBlock

doEndOfSnapshot() - Method in class demos.semantic_adaptation.DE_SDF_LinInterpolator

doEndOfSnapshot() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

The endOfSnapshot behavior of the block.

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

The endOfSnapshot behavior of the interface block.

doEndOfSnapshot() - Method in class modhelxs.state_management.PlainManagedBlock

doEndOfSnapshot() - Method in class modhelxs.state_management.PlainManagedInterfaceBlock

doGhostUpdate() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doGhostUpdate() - Method in class demos.semantic_adaptation.DE_SDF_InterfaceBlock

doGhostUpdate() - Method in class demos.semantic_adaptation.DE_SDF_LinInterpolator

doGhostUpdate() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

The update behavior of the interface block when the internal model is not updated.

door_ - Variable in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

doPostUpdate() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doPostUpdate() - Method in class demos.semantic_adaptation.DE_SDF_InterfaceBlock

doPostUpdate() - Method in class demos.semantic_adaptation.DE_SDF_LinInterpolator

doPostUpdate() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

The update behavior of the interface block after updating the internal model.

doPreSetup() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doPreSetup() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

Some pre-setup behavior necessary for subclasses.

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

Some pre-setup behavior necessary for subclasses.

doPreSetup() - Method in class modhelxs.state_management.PlainManagedBlock

doPreSetup() - Method in class modhelxs.state_management.PlainManagedInterfaceBlock

doPreSetup() - Method in class modhelxs.state_management.TimedManagedBlock

doPreSetup() - Method in class modhelxs.state_management.TimedManagedInterfaceBlock

doPreUpdate() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doPreUpdate() - Method in class demos.semantic_adaptation.DE_SDF_InterfaceBlock

doPreUpdate() - Method in class demos.semantic_adaptation.DE_SDF_LinInterpolator

doPreUpdate() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

The update behavior of the interface block before updating the internal model.

doReset() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doReset() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

The reset behavior of the block.

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

The reset behavior of the interface block.

doReset() - Method in class modhelxs.state_management.PlainManagedBlock

doReset() - Method in class modhelxs.state_management.PlainManagedInterfaceBlock

doReset() - Method in class modhelxs.state_management.TimedManagedBlock

doReset() - Method in class modhelxs.state_management.TimedManagedInterfaceBlock

doSetup() - Method in class demos.atomicblocks.DEConst

doSetup() - Method in class demos.atomicblocks.DEDelay

doSetup() - Method in class demos.atomicblocks.DEPlotter

doSetup() - Method in class demos.atomicblocks.DERamp

doSetup() - Method in class demos.atomicblocks.DEScenario

doSetup() - Method in class demos.atomicblocks.DETestLogger

doSetup() - Method in class demos.atomicblocks.DETextDisplay

doSetup() - Method in class demos.atomicblocks.EventFeeder

doSetup() - Method in class demos.atomicblocks.Probe

doSetup() - Method in class demos.atomicblocks.SDFAdder

doSetup() - Method in class demos.atomicblocks.SDFConst

doSetup() - Method in class demos.atomicblocks.SDFIntegrator

doSetup() - Method in class demos.atomicblocks.SDFLimitedIntegrator

doSetup() - Method in class demos.atomicblocks.SDFLimiter

doSetup() - Method in class demos.atomicblocks.SDFRamp

doSetup() - Method in class demos.atomicblocks.SDFScale

doSetup() - Method in class demos.atomicblocks.SDFTextDisplay

doSetup() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doSetup() - Method in class demos.semantic_adaptation.DE_SDF_InterfaceBlock

doSetup() - Method in class demos.semantic_adaptation.DE_SDF_LinInterpolator

doSetup() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

The setup behavior of the block.

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

The setup behavior of the block.

doStartOfSnapshot() - Method in class demos.atomicblocks.EventFeeder

doStartOfSnapshot() - Method in class demos.semantic_adaptation.DE_SDF_DumbInterfaceBlock

doStartOfSnapshot() - Method in class demos.semantic_adaptation.DE_TFSM_InterfaceBlock

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

The start of snapshot behavior of the block.

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

The start of snapshot behavior of the block.

doStartOfSnapshot() - Method in class modhelxs.state_management.PlainManagedBlock

doStartOfSnapshot() - Method in class modhelxs.state_management.PlainManagedInterfaceBlock

doStartOfSnapshot() - Method in class modhelxs.state_management.TimedManagedBlock

doStartOfSnapshot() - Method in class modhelxs.state_management.TimedManagedInterfaceBlock

dot_height - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter

dot_width - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter

doTopoSort() - Method in class tesl.ClockSet

doUpdate() - Method in class demos.atomicblocks.DEConst

doUpdate() - Method in class demos.atomicblocks.DEDelay

doUpdate() - Method in class demos.atomicblocks.DEPlotter

doUpdate() - Method in class demos.atomicblocks.DERamp

doUpdate() - Method in class demos.atomicblocks.DEScenario

doUpdate() - Method in class demos.atomicblocks.DETestLogger

doUpdate() - Method in class demos.atomicblocks.DETextDisplay

doUpdate() - Method in class demos.atomicblocks.EventFeeder

doUpdate() - Method in class demos.atomicblocks.Probe

doUpdate() - Method in class demos.atomicblocks.SDFAdder

doUpdate() - Method in class demos.atomicblocks.SDFConst

doUpdate() - Method in class demos.atomicblocks.SDFIntegrator

doUpdate() - Method in class demos.atomicblocks.SDFLimitedIntegrator

doUpdate() - Method in class demos.atomicblocks.SDFLimiter

doUpdate() - Method in class demos.atomicblocks.SDFRamp

doUpdate() - Method in class demos.atomicblocks.SDFScale

doUpdate() - Method in class demos.atomicblocks.SDFTextDisplay

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

The update behavior of the block.

downButton_ - Variable in class demos.powerwindow.gui.WindowGUI

downPushed_ - Variable in class demos.powerwindow.gui.WindowGUI

DrivingClock<T extends java.lang.Comparable<T>> - Class in modhelxs.simulation

A DrivingClock is a clock used for driving a simulation.

DrivingClock(String, TagCalculus<T>) - Constructor for class modhelxs.simulation.DrivingClock

Build a new driving clock with name name.

drivingclocks_ - Static variable in class modhelxs.simulation.DrivingClock

List of all driving clocks.

duplicateToken(Token) - Method in class modhelxs.abstractsemantics.ModelOfComputation

Duplicate a token (return a new, different token, associated to the same value.

duplicateToken(Token) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl