GammaObjects Namespace
Classes enabling extension of EGControlLibrary to Gamma, especially involving Possible Worlds operations

Namespaces

Namespace Description

Interfaces

Interface Description

Classes

Class Description

EGAccessArrow : EGAccessArrow: Supplies an Arrowhead for Access between EGWorld Controls on EGUniverse

EGUniverse : EGUniverse: This is the container for Possible Worlds (and their interrelationships) whose logic is represented in the Sheets of Assertion of RootSAs

EGWorld : EGWorld: This Control represents a Possible World in the accessibility diagram of an EGUniverse; it is associated with the logic of a given Sheet of Assertion

frmAccessCartographer : frmAccessCartographer: Supposed to help map the World Order

Structures

Structure Description

Modules

Module Description