EGUniverse Member Details

EGUniverse Public Fields


EGUniverse Public Enumerations


EGUniverse Constructors
New
: Constructor specifying Set of Possible Worlds Displayed
Public Sub New(ByVal PossibleWorlds As SheetOfAssertionCollection, ByVal TokenDiameter As Int32)
Remarks:
Parameters:
ByVal PossibleWorlds As SheetOfAssertionCollection
ByVal TokenDiameter As Int32
New
: The Plain-Vanilla Constructor
Public Sub New()
Remarks:
Parameters:


EGUniverse Public Properties
AccessArrowUnderConstruction
: True iff an Access Arrow is under Construction Category: Behavior
Public Property AccessArrowUnderConstruction() As Boolean
Remarks:
IndexParameters:
Return Value:
Boolean
AccessPairs
: The Collection of Accessing-Accessed Pairs examined in this Universe Category: Behavior
Public Property AccessPairs() As OrderPairCollection
Remarks:
IndexParameters:
Return Value:
OrderPairCollection
AllWorldsAccess
: Returns or Sets a Structure holding the Properties of Access which apply to all Worlds in this Universe Category: Behavior
Public Property AllWorldsAccess() As OrderPropertiesPackage
Remarks:
IndexParameters:
Return Value:
OrderPropertiesPackage
GraphState
: The GraphOperationState in the currently active EG Construction Category: Behavior
Public Property GraphState() As GraphOperationState
Remarks:
IndexParameters:
Return Value:
GraphOperationState
RootSAs
: The Collection of RootSAs of the Worlds represented by the respective WorldTokens Category: Behavior
Public Property RootSAs() As SheetOfAssertionCollection
Remarks:
IndexParameters:
Return Value:
SheetOfAssertionCollection
WorldAtArrowTail
: Used during an active AccessArrow Construction to hold a reference to the World which at its tail Category: Behavior
Public Property WorldAtArrowTail() As EGWorld
Remarks:
IndexParameters:
Return Value:
EGWorld
WorldTokens
: The Collection of EGWorlds which display the relationships of this Universe Category: Behavior
Public Property WorldTokens() As EGWorldCollection
Remarks:
IndexParameters:
Return Value:
EGWorldCollection


EGUniverse Public Methods
UpdateUniverseForPossibleWorld
: Adds a Possible World for a given SheetOfAssertion Graph Construction to the present EGUniverse
Public Sub UpdateUniverseForPossibleWorld(ByVal ForSA As SheetOfAssertion)
Remarks:
Parameters:
ByVal ForSA As SheetOfAssertion
Return Value:
Void


EGUniverse Public Events
GraphStateChanged
Occurs when GraphState changes.
Public Event GraphStateChanged(ByVal sender As Object, ByVal NewState As GraphOperationState)
Event Data:
The event handler receives an argument of Type GraphOperationState
EventHandler Parameters:
ByVal sender As Object
ByVal NewState As GraphOperationState