eu.bandm.tools.ops

Interface Lattice<A>

public interface Lattice<A>

Method Summary

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

Method Detail

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)