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