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