EGWorld Public Fields

EGWorld Public Enumerations

EGWorld Constructors

New : Constructor specifying the SheetOfAssertion to be represented as well as certain parameters specific to the diagram of which this control is a part Public Sub New(ByVal Wrld As SheetOfAssertion, ByVal Ind As Int32, ByVal Diam As Int32, ByVal Parens As EGUniverse) Remarks: Parameters: ByVal Wrld As SheetOfAssertion ByVal Ind As Int32 ByVal Diam As Int32 ByVal Parens As EGUniverse

New : Plain-Vanilla Constructor Public Sub New() Remarks: Parameters:

New : Instantiates an EGWorld for a given World Public Sub New(ByVal Wrld As SheetOfAssertion) Remarks: Parameters: ByVal Wrld As SheetOfAssertion

EGWorld Public Properties

HasAccessTo : Collection of EGWorlds To which the present Instance has Access Category: Behavior Public Property HasAccessTo() As EGWorldCollection Remarks: IndexParameters: Return Value: EGWorldCollection

IsAccessedFrom : Collection of EGWorlds Accessing the present Instance Category: Behavior Public Property IsAccessedFrom() As EGWorldCollection Remarks: IndexParameters: Return Value: EGWorldCollection

IsAntisymmetric : True iff Access for the present Instance is Antisymmetric, i.e., if world W is accessed by this instance and also accesses it, then this instance Is W Category: Behavior Public Property IsAntisymmetric() As Boolean Remarks: IndexParameters: Return Value: Boolean

IsReflexive : True iff Access for the present Instance is Reflexive Category: Behavior Public Property IsReflexive() As Boolean Remarks: IndexParameters: Return Value: Boolean

IsSymmetric : True iff Access for the present Instance is Symmetric, i.e., any World accessing this instance also is accessed by it Category: Behavior Public Property IsSymmetric() As Boolean Remarks: Need to figure how this interacts with other Properties programmatically IndexParameters: Return Value: Boolean

IsTransitive : True iff Access for the present Instance is Transitive, i.e., any World accessing this instance also has access to all worlds which this instance accesses Category: Behavior Public Property IsTransitive() As Boolean Remarks: IndexParameters: Return Value: Boolean

ParentUniverse : Reference to the EGUniverse which contains this EGWorld Category: Behavior Public Property ParentUniverse() As EGUniverse Remarks: IndexParameters: Return Value: EGUniverse

World : The Root SheetOfAssertion for the Possible World represented by this EGWorld Category: Behavior Public Property World() As SheetOfAssertion Remarks: IndexParameters: Return Value: SheetOfAssertion

EGWorld Public Methods

GetAccessees : Recursively checks Access to expand HasAccessTo Lists to account for universal Transitivity of Access Public Shared Function GetAccessees(ByVal ForW As EGWorld, ByRef DoneWorlds As EGWorldCollection) As EGWorldCollection Remarks: The DoneWorlds Collection is used to pull Worlds out of consideration at their first use in the calculation; this avoids the endless loops which a combination of Transitivity with Reflexivity or Symmetry could cause Parameters: ByVal ForW As EGWorld ByRef DoneWorlds As EGWorldCollection Return Value: EGWorldCollection

EGWorld Public Events