Logic

abstract def and(a: A, b: A): A

abstract def getClass(): Class[_]

abstract def join(lhs: A, rhs: A): A

abstract def meet(lhs: A, rhs: A): A

abstract def not(a: A): A

abstract def one: A

abstract def or(a: A, b: A): A

abstract def zero: A

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def asCommutativeRig: CommutativeRig[A]

Return a CommutativeRig using join and meet.

final def asInstanceOf[T0]: T0

def dual: BoundedDistributiveLattice[A]

This is the lattice with meet and join swapped

def equals(arg0: Any): Boolean

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def isOne(a: A)(implicit ev: Eq[A]): Boolean

def isZero(a: A)(implicit ev: Eq[A]): Boolean

def joinPartialOrder(implicit ev: Eq[A]): PartialOrder[A]

def joinSemilattice: BoundedSemilattice[A]

def meetPartialOrder(implicit ev: Eq[A]): PartialOrder[A]

def meetSemilattice: BoundedSemilattice[A]

def nand(a: A, b: A): A

def nor(a: A, b: A): A

def nxor(a: A, b: A): A

def toString(): String

def xor(a: A, b: A): A