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

## 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.

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