|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
Connectable | Interface for classes that have a connector attached. |
FactorDenotator | Interface for denotators that have factors. |
MorphismMap | The implementation or "formula" of a morphism. |
Yoneda | Base interface for Form, Morphism, Diagram and Denotator. |
Class Summary | |
---|---|
AbstractConnectableYoneda | Abstract base class for Form and Denotator. |
Address | Utilities for address management. |
AutoListMorphismMap | Morphism map containing a set of morphisms (for power types). |
ColimitDenotator | Colimit denotator class. |
ColimitForm | Colimit form class. |
CompoundMorphism | General morphism. |
ConstantModuleMorphismMap | Morphism map containing a constant module morphism. |
Denotator | Abstract base class for denotators. |
DenotatorReference | A placeholder for denotators that are not yet known. |
Diagram | Abstract base class for diagrams. |
EmptyMorphismMap | Empty morphism map to avoid null references. |
Form | Abstract base class for forms. |
FormDiagram | Diagram of forms. |
FormReference | A placeholder for forms that are not yet known. |
IdentityMorphism | Abstract base class for identity morphisms. |
IndexMorphismMap | Morphism map containing a morphism and an index (for type colimit). |
LimitDenotator | Limit denotator class. |
LimitForm | Limit form class. |
ListDenotator | List denotator class. |
ListForm | List form class. |
ListMorphismMap | Morphism map containing a list of morphisms (for limit and power types). |
MathDiagram | Math diagram class (vertexes are morphisms). |
ModuleMorphismMap | Morphism map containing a module morphism (for type simple). |
Morphism | Abstract base class for morphisms. |
NameDenotator | Special list denotator for representing names of denotators and forms. |
NameEntry | The unique respresention of names. |
NameForm | Special list form for names of forms and denotators. |
PowerDenotator | Power denotator class. |
PowerForm | Power form class. |
ProperIdentityMorphism | Morphism of an "object" that is not representable. |
RepresentableIdentityMorphism | Identity morphism representing a module "object". |
SimpleDenotator | Simple denotator class. |
SimpleForm | Simple form class. |
Exception Summary | |
---|---|
RubatoAddressException | Exception thrown in cases of mismatched addresses. |
RubatoFormException | Exception thrown in cases of mismatched forms. |
This package provides the principal Rubato classes for forms and denotators.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |