Package modhelxs.abstractsemantics

Class Summary
AtomicBlock A block without an explicit ModHel'X model (opaque behavior).
Block A Block is the basic unit of behavior in ModHel'X.
BlockStructure A BlockStructure is a set of blocks with relations between their pins.
Engine The execution engine of ModHel'X, which drives the abstract semantics of models and blocks.
InterfaceBlock An InterfaceBlock is a special kind of Block.
Model<T extends Comparable<? super T>> A Model describes a behavior by the combination of the behavior of the blocks of a structure according to a model of computation.
ModelOfComputation<T extends Comparable<? super T>> A ModelOfComputation models the rules for combining the behavior of the blocks in a structure.
ModelOfComputationImpl<T extends Comparable<? super T>> Common default implementation of a model of computation features.
NamedEntity Implementation of a Named entity for the abstract semantics of ModHel'X.
ObservableEntity Implementation of an observable entity for the abstract semantics of ModHel'X.
Pin An implementation of Pin for the abstract semantics of ModHel'X.
Relation A Relation is an oriented connection between two pins.
Token A Token is a piece of information that can be put on a pin to be communicated between blocks.