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

W

waitForDrivingClocks() - Method in class modhelxs.abstractsemantics.Engine

Wait for one of the driving clocks to tick.

was_set_ - Variable in class modhelxs.state_management.Attribute

was_updated_ - Variable in class modhelxs.state_management.ManagedBlock

Transient value telling whether the block was updated during this snapshot.

was_updated_ - Variable in class modhelxs.state_management.ManagedInterfaceBlock

Transient value telling whether the block was updated during this snapshot.

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

Tell whether the block was updated during this snapshot.

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

Tell whether the block was updated during this snapshot.

weak_ - Variable in class tesl.SustainedImplication

win_closed - Variable in class demos.powerwindow.models.WindowController

win_closed() - Method in class demos.powerwindow.models.WindowController

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

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

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

win_obstacle - Variable in class demos.powerwindow.models.WindowController

win_obstacle() - Method in class demos.powerwindow.models.WindowController

win_opened - Variable in class demos.powerwindow.models.WindowController

win_opened() - Method in class demos.powerwindow.models.WindowController

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

window_ - Variable in class demos.atomicblocks.DEPlotter

window_end - Variable in class demos.powerwindow.models.WindowModel

window_end() - Method in class demos.powerwindow.models.WindowModel

window_pos - Variable in class demos.powerwindow.models.WindowModel

window_pos() - Method in class demos.powerwindow.models.WindowModel

WindowController - Class in demos.powerwindow.models

The controller of the power window.

WindowController(String, Object...) - Constructor for class demos.powerwindow.models.WindowController

WindowGUI - Class in demos.powerwindow.gui

WindowGUI is a Swing graphical interface for the power window.

WindowGUI() - Constructor for class demos.powerwindow.gui.WindowGUI

WindowGUI.RepaintThread - Class in demos.powerwindow.gui

Since calling repaint() each time there is a change leads to the window lagging behind the simulation, we don't call repaint at each change.

WindowGUI.RepaintThread(WindowGUI, long) - Constructor for class demos.powerwindow.gui.WindowGUI.RepaintThread

WindowGUI.WindowGUIComponent - Class in demos.powerwindow.gui

WindowGUIComponent is the Swing component which draws the window frame.

WindowGUI.WindowGUIComponent() - Constructor for class demos.powerwindow.gui.WindowGUI.WindowGUIComponent

WindowModel - Class in demos.powerwindow.models

The model of the mechanical part of the window.

WindowModel(String, Object...) - Constructor for class demos.powerwindow.models.WindowModel

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

wrapup() - Method in interface demos.atomicblocks.Probe.PinListener

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

wrapup() - Method in class demos.powerwindow.gui.WindowGUI

wrapup() - Method in class modhelxs.abstractsemantics.AtomicBlock

wrapup() - Method in class modhelxs.abstractsemantics.BlockStructure

Cleanup at the end of the simulation.

wrapup() - Method in class modhelxs.abstractsemantics.InterfaceBlock

wrapup() - Method in class modhelxs.abstractsemantics.Model

wrapup(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation

End of the simulation => release resources and clean up.

wrapup(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl

wrapup() - Method in class modhelxs.abstractsemantics.ObservableEntity

Cleanup at the end of the simulation.

wrapup() - Method in class modhelxs.simulation.ASAPClock

wrapup() - Method in class modhelxs.simulation.DrivingClock

Release the ressources used by the clock, called at the end of the simulation.

wrapup() - Method in class modhelxs.simulation.EventFeederClock

wrapup() - Method in class modhelxs.simulation.PeriodicRTClock

wrapup() - Method in class modhelxs.simulation.SwingButtonClock

Disable the button when the simulation is finished.

wrapup() - Method in class modhelxs.simulation.SynchronizingRTClock

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