Package eu.bandm.tools.ops

Interface Lattice<A>

Type Parameters:
A - the underlying data type on which the lattice structure is constructed.
public interface Lattice<A>
Realizing a mathematical lattice. Prototypical are sets with the set "join" and "intersect/cut" operations.

  • Method Summary

    Modifier and Type
    Method
    Description
    A
    bottom()
     
    A
    join(A x, A y)
     
    boolean
    leq(A x, A y)
     
    A
    meet(A x, A y)
     
    A
    top()
     

  • Method Details

    • top

      A top()

    • bottom

      A bottom()

    • join

      A join(A x, A y)

    • meet

      A meet(A x, A y)

    • leq

      boolean leq(A x, A y)