cpg-core/de.fraunhofer.aisec.cpg.helpers/PowersetLattice

PowersetLattice

class PowersetLattice(val elements: IdentitySet<Node>) : LatticeElement<Set<Node>>

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

Constructors

Link copied to clipboard
constructor(elements: IdentitySet<Node>)

Properties

Link copied to clipboard
open override val elements: IdentitySet<Node>

Functions

Link copied to clipboard
open operator override fun compareTo(other: LatticeElement<Set<Node>>): Int
Link copied to clipboard
open override fun duplicate(): LatticeElement<Set<Node>>

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

Link copied to clipboard
open override fun lub(other: LatticeElement<Set<Node>>): PowersetLattice

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