Package it.unive.lisa.analysis.lattices

Interface FunctionalLattice.KeyFunctionalLift<K>

  • Type Parameters:
    K - the key type
    Enclosing class:
    FunctionalLattice<F extends FunctionalLattice<F,​K,​V>,​K,​V extends Lattice<V>>
    Functional Interface:
    This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
    @FunctionalInterface
public static interface FunctionalLattice.KeyFunctionalLift<K>
    Interface for the left of key sets.

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      java.util.Set<K> keyLift​(java.util.Set<K> first, java.util.Set<K> second)
      Yields the lift of first and second key sets.

    • Method Detail

      • keyLift

        java.util.Set<K> keyLift​(java.util.Set<K> first,
                         java.util.Set<K> second)
                  throws SemanticException
        Yields the lift of first and second key sets.
        Parameters:
        first - the first key set
        second - the second key set
        Returns:
        the left of first and second key sets
        Throws:
        SemanticException - if something goes wrong while lifting the key sets