Package eu.bandm.tools.ops

Class Lattices

java.lang.Object

eu.bandm.tools.ops.Lattices

public abstract class Lattices
extends Object

Library of constants for classes implementing Lattice.

Field Summary

Fields

Modifier and Type	Field	Description
static final Lattice<Boolean>	bool

Method Summary

Modifier and Type	Method	Description
static <A extends Comparable<? super A>> Lattice<A>	tropical(A bottom, A top)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

bool

public static final Lattice<Boolean> bool

Method Details

tropical

public static <A extends Comparable<? super A>>
Lattice<A> tropical(A bottom,
 A top)