EGWorld Members

EGWorld Overview



Constructors

New(SheetOfAssertion, Int32, Int32, EGUniverse) : Constructor specifying the SheetOfAssertion to be represented as well as certain parameters specific to the diagram of which this control is a part
New() : Plain-Vanilla Constructor
New(SheetOfAssertion) : Instantiates an EGWorld for a given World

Public Properties

HasAccessTo : Collection of EGWorlds To which the present Instance has Access
IsAccessedFrom : Collection of EGWorlds Accessing the present Instance
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
IsReflexive : True iff Access for the present Instance is Reflexive
IsSymmetric : True iff Access for the present Instance is Symmetric, i.e., any World accessing this instance also is accessed by it
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
ParentUniverse : Reference to the EGUniverse which contains this EGWorld
World : The Root SheetOfAssertion for the Possible World represented by this EGWorld

Public Methods

GetAccessees : Recursively checks Access to expand HasAccessTo Lists to account for universal Transitivity of Access