heros

Interface JoinLattice<V>

Type Parameters:

V - The domain type for this lattice.

public interface JoinLattice<V>

This class defines a lattice in terms of its top and bottom elements and a join operation.

Method Summary

Modifier and Type	Method and Description
V	bottomElement()
V	join(V left, V right)
V	topElement()

Method Detail

topElement

V topElement()

bottomElement

V bottomElement()

join

V join(V left,
       V right)