Uses of Class
modhelxs.abstractsemantics.BlockStructure

Packages that use BlockStructure

modhelxs.abstractsemantics
modhelxs.mocs.de
modhelxs.mocs.sdf
modhelxs.mocs.tfsm

Uses of BlockStructure in modhelxs.abstractsemantics

Fields in modhelxs.abstractsemantics declared as BlockStructure

private BlockStructure	Model.structure_ The structure that holds the blocks of this model.
private BlockStructure	Block.structure_ The BlockStructure this block belongs to.

Methods in modhelxs.abstractsemantics that return BlockStructure

BlockStructure	Block.getParent()
BlockStructure	Model.getStructure()

Methods in modhelxs.abstractsemantics with parameters of type BlockStructure

abstract boolean	ModelOfComputation.canGoFurther(BlockStructure s) Tell if it is possible to compute more information.
void	ModelOfComputationImpl.emitObservationRequests(BlockStructure s)
abstract void	ModelOfComputation.emitObservationRequests(BlockStructure s) Place ticks on clocks to request to be observed in future snapshots.
void	ModelOfComputationImpl.endOfSnapshot(BlockStructure s)
abstract void	ModelOfComputation.endOfSnapshot(BlockStructure s) End of the snapshot => update internal state, produce outputs.
abstract void	ModelOfComputation.endOfUpdate(BlockStructure s) Called at the end of an update of an inner block (produce partial outputs for the upper model).
void	ModelOfComputationImpl.prep(BlockStructure s)
abstract void	ModelOfComputation.prep(BlockStructure s) Prepare for simulation.
abstract void	ModelOfComputation.propagate(BlockStructure s) Propagate new information produced by the update of a block.
void	ModelOfComputationImpl.reset(BlockStructure s)
abstract void	ModelOfComputation.reset(BlockStructure s) Reset for a new computation of the current snapshot (called at least once at the beginning of the snapshot).
abstract void	ModelOfComputation.schedule(BlockStructure s) Choose a block to be updated.
void	Block.setParent(BlockStructure s) Set the BlockStructure this block belongs to.
void	ModelOfComputationImpl.setup(BlockStructure s)
abstract void	ModelOfComputation.setup(BlockStructure s) Setup for simulation.
void	ModelOfComputationImpl.startOfSnapshot(BlockStructure s)
abstract void	ModelOfComputation.startOfSnapshot(BlockStructure s) Start the computation of a new snapshot on structure s.
abstract void	ModelOfComputation.startOfUpdate(BlockStructure s) Called at the beginning of an update of an inner block (get partial inputs from the upper model).
abstract void	ModelOfComputation.update(BlockStructure s) Update a block.
boolean	ModelOfComputationImpl.validate(BlockStructure s)
abstract boolean	ModelOfComputation.validate(BlockStructure s) Tell if the current computation of the snapshot is valid according to the semantics of this MoC.
void	ModelOfComputationImpl.wrapup(BlockStructure s)
abstract void	ModelOfComputation.wrapup(BlockStructure s) End of the simulation => release resources and clean up.

Constructors in modhelxs.abstractsemantics with parameters of type BlockStructure

Model(java.lang.String name, ModelOfComputation<T> moc, BlockStructure s, java.lang.Object... properties)
Build a new model.

Uses of BlockStructure in modhelxs.mocs.de

Methods in modhelxs.mocs.de with parameters of type BlockStructure

boolean	DEMoC.canGoFurther(BlockStructure s)
void	DEMoC.endOfSnapshot(BlockStructure s)
void	DEMoC.endOfUpdate(BlockStructure s)
void	DEMoC.propagate(BlockStructure s)
void	DEMoC.reset(BlockStructure s)
void	DEMoC.schedule(BlockStructure s)
void	DEMoC.setup(BlockStructure s)
void	DEMoC.startOfUpdate(BlockStructure s)
void	DEMoC.update(BlockStructure s)

Uses of BlockStructure in modhelxs.mocs.sdf

Methods in modhelxs.mocs.sdf with parameters of type BlockStructure

boolean	SDFMoC.canGoFurther(BlockStructure s)
void	SDFMoC.emitObservationRequests(BlockStructure s)
void	SDFMoC.endOfUpdate(BlockStructure s)
void	SDFMoC.propagate(BlockStructure s)
void	SDFMoC.reset(BlockStructure s)
void	SDFMoC.schedule(BlockStructure s)
void	SDFMoC.setup(BlockStructure s)
void	SDFMoC.startOfUpdate(BlockStructure s)
void	SDFMoC.update(BlockStructure s)

Uses of BlockStructure in modhelxs.mocs.tfsm

Methods in modhelxs.mocs.tfsm with parameters of type BlockStructure

boolean	TFSMMoC.canGoFurther(BlockStructure s)
void	TFSMMoC.emitObservationRequests(BlockStructure s)
void	TFSMMoC.endOfSnapshot(BlockStructure s)
void	TFSMMoC.endOfUpdate(BlockStructure s)
Relation	TFSMMoC.getFiringTransition(BlockStructure s)
private void	TFSMMoC.getIncommingEvents(BlockStructure s)
void	TFSMMoC.propagate(BlockStructure s)
void	TFSMMoC.reset(BlockStructure s)
void	TFSMMoC.schedule(BlockStructure s)
void	TFSMMoC.setup(BlockStructure s)
void	TFSMMoC.startOfUpdate(BlockStructure s)
void	TFSMMoC.update(BlockStructure s)