DrawHasseLines
|
Draws Hasse-Diagram Lines from Covering to Covered ClosedOutcomeSets; for use in a Paint EventHandler |
GetClosedOutcomeSets
|
Returns the Set of Closed OutcomeSets for the current Manual of Operations, and sets both the ClosedOutcomeSets and ClosedOutcomeCollections Properties |
InputManualOfOperations
|
Validates and Parses the Manual of Operations, and computes the Closed OutcomeSets for this Generalzed Sample Space |
IsClosed
|
Returns True iff a given Outcome Set is Equal to its own Double-Perp in a given Manual of Operations |
Perp
(OutcomeCollection, OutcomeCollectionCollection)
|
Returns the Set of Outcomes (as OutcomeCollection) Orthogonal to ALL members of a given OutcomeCollection in a given Manual of Operations |
Perp
(Outcome, Outcome, OutcomeCollectionCollection)
|
Returns True iff a given Outcome is Orthogonal to another in a given Manual of Operations |
Perp
(Outcome, OutcomeCollectionCollection)
|
Returns the Set of Outcomes Orthogonal to a given Outcome in a given Manual of Operations |
SetAllOutcomeSets
|
Sets up OutcomeSets as Wrappers for all the OutcomeCollections for this Sample Space |
StarterSet
|
For a given integer n returns an OutcomeCollection including n Outcome Objects with Names from a to the nth lower-case letter |
StringsToManualOfOperations
|
For a given StringCollection which has been Validated as representing a Manual of Operations for a given total Outcome Set, Returns an OutcomeCollectionCollection giving that Manual |