cpg-core/de.fraunhofer.aisec.cpg.helpers/State/push

push

open fun push(newNode: K, newLatticeElement: LatticeElement<V>?): Boolean

Adds a new mapping from newNode to (a copy of) newLatticeElement to this object if newNode does not exist in this state yet. If it already exists, it computes the least upper bound of newLatticeElement and the current one for newNode. It returns if the state has changed.