Space Members

Space Overview

Constructors New(Int32, PartiallyComparableCollection) Instantiates Space specifying the diameter of Element Controls and a Collection of Partially Comparable Objects to be mapped to those Controls New() The Plain-Vanilla Constructor

Public Properties AllElementsOrder Structure holding the Properties of the Ordering Relation which apply to ALL Elements in this Space CurrentArrowCount Gets the Count of OrderingArrowHeads currently Contained on this Space CurrentArrows The Array of OrderingArrowHeads currently Contained on this Space ElementDiameter Diameter of the Element Controls on this Space Elements The Collection of Element Controls Ordered within this Space MappedPCObjects The Collection of Partially Comparable Objects mapped to the Element Controls of this Space MouseLoc Current Position of the Mouse on this Control OrderingLineColor Color of the Access Line shown between World Tokens OrderingLineWidth Width of the Access Line shown between World Tokens OrderPairs Set of OrderPairs of Elements in this Space PointedToArrowHead When Mouse Cursor is over an Access ArrowHead, holds Reference to that EGAccessArrow; else is Nothing PointerIsOnArrowHead True iff Mouse Cursor is over an Access ArrowHead

Public Methods GetLowerBoundsOf (Element, Element) Returns the ElementCollection of Lower Bounds of a given pair of Elements in THIS Space; returns empty Collection if there are none such GetLowerBoundsOf (Element, Element, Space) Returns the ElementCollection of Lower Bounds of a given pair of Elements in a given Space; returns empty Collection if there are none such

Public Classes OrderPairCollection Strongly-Typed Collection of OrderPairs

Public Structures OrderPair Each OrderPair Object marks an Ordering between two Elements in this Space; an ordering Arrow could be drawn between them, with the Tail Element at its back end, and the Head Element at its front OrderPropertiesPackage An OrderPropertiesPsckage carries as one unit certain Properties (viz. IsReflexive, IsTransitive, IsAntisymmetrical, IsSymmetrical) regarding Order