Class IntervalAntichains.Antichain

java.lang.Object
it.unimi.dsi.lama4j.AbstractElement
it.unimi.dsi.lama4j.IntervalAntichains.Antichain
All Implemented Interfaces:
Element
Enclosing class:
IntervalAntichains

public static final class IntervalAntichains.Antichain
extends AbstractElement
A class representing elements of this lattice (antichains of intervals).

Note that this class implements several additional operations (e.g., isContained(Element)).