PowersetLattice

Implements the LatticeElement for a lattice over a set of nodes. The lattice itself is constructed by the powerset.

Constructors

constructor(elements: IdentitySet<Node>)

open operator override fun compareTo(other: LatticeElement<Set<Node>>): Int

Duplicates the object, i.e., makes a deep copy.

Computes the least upper bound of this lattice and other. It returns a new object and does not modify either of the objects.