FunctionalLattice.FunctionalLift (lisa 0.1b1 API)

Type Parameters:

V - Lattice type of the values

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
protected static interface FunctionalLattice.FunctionalLift<V extends Lattice<V>>
```
Interface for the lift of lattice elements.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  V lift(V first, V second)
  Yields the lift of first and second lattice element.

- Method Detail
  - lift
```
V lift(V first,
       V second)
throws SemanticException
```
    Yields the lift of first and second lattice element.
    
    Parameters:
    
    first - the first lattice element
    
    second - the second lattice element
    
    Returns:
    
    the lift of first and second
    
    Throws:
    
    SemanticException - if something goes wrong while lifting the values