core/spire.math/TrileanAlgebra

TrileanAlgebra

class TrileanAlgebra extends DeMorgan[Trilean]
trait Logic[Trilean]
class Object
trait Matchable
class Any

Value members

Concrete methods

def and(a: Trilean, b: Trilean): Trilean
def or(a: Trilean, b: Trilean): Trilean

Inherited methods

def imp(a: Trilean, b: Trilean): Trilean
Inherited from:
DeMorgan
def isOne(a: Trilean)(implicit ev: Eq[Trilean]): Boolean
Inherited from:
BoundedMeetSemilattice
def isZero(a: Trilean)(implicit ev: Eq[Trilean]): Boolean
Inherited from:
BoundedJoinSemilattice
def join(a: Trilean, b: Trilean): Trilean
Inherited from:
DeMorgan
def joinPartialOrder(implicit ev: Eq[Trilean]): PartialOrder[Trilean]
Inherited from:
JoinSemilattice
def meet(a: Trilean, b: Trilean): Trilean
Inherited from:
DeMorgan
def meetPartialOrder(implicit ev: Eq[Trilean]): PartialOrder[Trilean]
Inherited from:
MeetSemilattice
def nand(a: Trilean, b: Trilean): Trilean
Inherited from:
Logic
def nor(a: Trilean, b: Trilean): Trilean
Inherited from:
Logic
def nxor(a: Trilean, b: Trilean): Trilean
Inherited from:
Logic
def xor(a: Trilean, b: Trilean): Trilean
Inherited from:
Logic