eu.bandm.tools.ops

Class Lattices

java.lang.Object

eu.bandm.tools.ops.Lattices

public abstract class Lattices
extends Object

Field Summary

Fields

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

Method Summary

Modifier and Type	Method and 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 Detail

bool

public static Lattice<Boolean> bool

Method Detail

tropical

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