Summary
Maintains a poset of all partially comparable elements added to this collection.
Two DAGs are maintained - one starting from all the minimal elements towards the largest elements,
and the other starting from the maximal elements.
Generic type parameters
Constructors
| Creates a new instance of Poset<T>. |
Instance methods
void | |
Adds an element to the poset. If available, the element will be added to an existing
equivalence class (node), otherwise a new one will be created, and the DAGs will be
updated as appropriate.
|
PosetNode<T> | |
Finds the node containing elements from the same equivalence class as element.
Returns null if none are found.
|
void | |
Performs a bunch of tests to make sure the DAGs are in a consistent state. Very slow;
only use when debugging and suspecting a bug in Poset.
|
Instance properties