Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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

## P

paintComponent(Graphics) - Method in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter
paintComponent(Graphics) - Method in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent
Parameter<T> - Class in modhelxs.state_management
  A Parameter is a read-only storage.
Parameter(Class<T>, boolean) - Constructor for class modhelxs.state_management.Parameter
Parameter(Class<T>) - Constructor for class modhelxs.state_management.Parameter
parent_ - Variable in class modhelxs.abstractsemantics.Model
  The interface block this model belongs to (if any, null otherwise).
parse(String, List<String>) - Static method in class modhelxs.mocs.tfsm.parser.Expression
perform() - Method in class tesl.ClockOperation
perform() - Method in class tesl.TickCreation
perform() - Method in class tesl.TickDeletion
period - Variable in class demos.atomicblocks.DERamp
period_ - Variable in class demos.atomicblocks.DEConst
  The period with which the value is produced.
period_ - Variable in class modhelxs.simulation.PeriodicRTClock
  The period of the clock, in milliseconds.
PeriodicRTClock - Class in modhelxs.simulation
  A driving clock that ticks periodically on real time.
PeriodicRTClock(String, long, long) - Constructor for class modhelxs.simulation.PeriodicRTClock
PeriodicRTClock.ClockBackup - Class in modhelxs.simulation
PeriodicRTClock.ClockBackup() - Constructor for class modhelxs.simulation.PeriodicRTClock.ClockBackup
PeriodicRTClock.PeriodicRTThread - Class in modhelxs.simulation
  The thread used to notify the execution engine when a tick is produced on the clock.
PeriodicRTClock.PeriodicRTThread() - Constructor for class modhelxs.simulation.PeriodicRTClock.PeriodicRTThread
phase_ - Variable in class tesl.FilteredImplication
pin - Variable in class demos.atomicblocks.DEScenario.Step
Pin - Class in modhelxs.abstractsemantics
  An implementation of Pin for the abstract semantics of ModHel'X.
Pin(String, Object...) - Constructor for class modhelxs.abstractsemantics.Pin
  Build a new pin named `name`.
Pin - Interface in modhelxs.ecore
  A pin is a basic named entity which is part of the interface of an observable entity.
pin_ - Variable in class modhelxs.mocs.de.DEMoC.DEEvent
  The destination pin of this event.
pin_predecessors_ - Variable in class modhelxs.util.BlockStructureNavHelper
  Map from pins to their predecessors.
pin_successors_ - Variable in class modhelxs.util.BlockStructureNavHelper
  Map from pins to their successors.
pinChanged(Pin) - Method in interface demos.atomicblocks.Probe.PinListener
pinChanged(Pin) - Method in class demos.powerwindow.gui.WindowGUI
PINRATE_PROPERTY - Static variable in class modhelxs.mocs.sdf.SDFMoC
pins_ - Variable in class modhelxs.abstractsemantics.ObservableEntity
  Association between names and pins for this entity.
PlainManagedBlock - Class in modhelxs.state_management
  A ManagedBlock with no timed behavior.
PlainManagedBlock(String, Object...) - Constructor for class modhelxs.state_management.PlainManagedBlock
PlainManagedInterfaceBlock - Class in modhelxs.state_management
  An implementation of the ManagedInterfaceBlock for untimed IB.
PlainManagedInterfaceBlock(String, Model<?>, Object...) - Constructor for class modhelxs.state_management.PlainManagedInterfaceBlock
plotinfo_ - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow
plots_ - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow.Plotter
plotter_ - Variable in class demos.atomicblocks.DEPlotter.PlotterWindow
pos_ - Variable in class demos.powerwindow.gui.WindowGUI.WindowGUIComponent
positionPin_ - Variable in class demos.powerwindow.gui.WindowGUI
PowerWindow - Class in demos.powerwindow
  A text only demo of the power window.
PowerWindow() - Constructor for class demos.powerwindow.PowerWindow
PowerWindowDisplay - Class in demos.powerwindow
  A demo of the power window with a graphical display of the user command, end stops and position of the window.
PowerWindowDisplay() - Constructor for class demos.powerwindow.PowerWindowDisplay
PowerWindowWithGUI - Class in demos.powerwindow
  A demo of the power window with a graphical user interface showing the window, and with buttons to drive it and display the operation of the motor.
PowerWindowWithGUI() - Constructor for class demos.powerwindow.PowerWindowWithGUI
precedence(char) - Static method in class modhelxs.mocs.tfsm.parser.Expression
predecessors_ - Variable in class modhelxs.abstractsemantics.Pin
  The list of pins which are the origin of a relation which has this pin as target.
Preemption - Enum in tesl
  Different kinds of preemption.
Preemption() - Constructor for enum tesl.Preemption
prep() - Method in class modhelxs.abstractsemantics.AtomicBlock
prep() - Method in class modhelxs.abstractsemantics.BlockStructure
  Initialize the behavior of the structure.
prep() - Method in class modhelxs.abstractsemantics.InterfaceBlock
prep() - Method in class modhelxs.abstractsemantics.Model
prep(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation
  Prepare for simulation.
prep(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputationImpl
prep() - Method in class modhelxs.abstractsemantics.ObservableEntity
  Initialize the entity.
prep() - Method in class modhelxs.state_management.ManagedBlock
prepareUpdate() - Method in class modhelxs.mocs.de.DEMoC.DEEvent
prepareUpdate() - Method in class modhelxs.util.UpdateTrigger
  Prepare the update of the entity (MoC dependent).
printClocks(Level, String) - Method in class tesl.ClockSet
Probe - Class in demos.atomicblocks
  A Probe is a block that notifies a PinListener each time one of its input pins has tokens at the end of the snapshot.
Probe(String, Probe.PinListener, Object...) - Constructor for class demos.atomicblocks.Probe
Probe.PinListener - Interface in demos.atomicblocks
processConversion(TagRelation<U, V>, Tag<?>) - Static method in class tesl.ClockSet
processRevConversion(TagRelation<U, V>, Tag<?>) - Static method in class tesl.ClockSet
prod_rate - Variable in class modhelxs.mocs.sdf.SDFMoC.RelationState
propagate(BlockStructure) - Method in class modhelxs.abstractsemantics.ModelOfComputation
  Propagate new information produced by the update of a block.
propagate(BlockStructure) - Method in class modhelxs.mocs.de.DEMoC
propagate(BlockStructure) - Method in class modhelxs.mocs.sdf.SDFMoC
propagate(BlockStructure) - Method in class modhelxs.mocs.tfsm.TFSMMoC
propagateFromPin(Pin) - Static method in class modhelxs.mocs.sdf.SDFMoC
properties_ - Variable in class modhelxs.abstractsemantics.NamedEntity
  Properties of the entity.
pushOperator(Stack<Expression>, char, List<String>) - Static method in class modhelxs.mocs.tfsm.parser.Expression
pushVariable(Stack<Expression>, String) - Static method in class modhelxs.mocs.tfsm.parser.Expression
put(K, V) - Method in class modhelxs.state_management.MapAttribute
  Set the transient value associated to a key.
putValue(T) - Method in class modhelxs.abstractsemantics.Pin
  Add a token with a given value on this pin.
putValue(Value<T>) - Method in class modhelxs.abstractsemantics.Pin
  Add a token with a given value on this pin.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV LETTER NEXT LETTER | FRAMES NO FRAMES

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