EGUniverse Members

EGUniverse Overview



Constructors

New(SheetOfAssertionCollection, Int32) : Constructor specifying Set of Possible Worlds Displayed
New() : The Plain-Vanilla Constructor

Public Properties

AccessArrowUnderConstruction : True iff an Access Arrow is under Construction
AccessPairs : The Collection of Accessing-Accessed Pairs examined in this Universe
AllWorldsAccess : Returns or Sets a Structure holding the Properties of Access which apply to all Worlds in this Universe
GraphState : The GraphOperationState in the currently active EG Construction
RootSAs : The Collection of RootSAs of the Worlds represented by the respective WorldTokens
WorldAtArrowTail : Used during an active AccessArrow Construction to hold a reference to the World which at its tail
WorldTokens : The Collection of EGWorlds which display the relationships of this Universe

Public Methods

UpdateUniverseForPossibleWorld : Adds a Possible World for a given SheetOfAssertion Graph Construction to the present EGUniverse

Public Events

GraphStateChanged Occurs when GraphState changes.