core/spire.math/TrileanAlgebra

TrileanAlgebra

class TrileanAlgebra extends DeMorgan[Trilean]
trait DeMorgan[Trilean]
trait Logic[Trilean]
trait BoundedDistributiveLattice[Trilean]
trait DistributiveLattice[Trilean]
trait BoundedLattice[Trilean]
trait BoundedJoinSemilattice[Trilean]
trait BoundedMeetSemilattice[Trilean]
trait Lattice[Trilean]
trait MeetSemilattice[Trilean]
trait JoinSemilattice[Trilean]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Inherited methods

def asCommutativeRig: CommutativeRig[Trilean]

Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.

Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.

Inherited from
BoundedDistributiveLattice
override
def dual: BoundedDistributiveLattice[Trilean]
Definition Classes
BoundedDistributiveLattice -> BoundedLattice -> Lattice
Inherited from
BoundedDistributiveLattice
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
override
def joinSemilattice: BoundedSemilattice[Trilean]
Definition Classes
BoundedJoinSemilattice -> JoinSemilattice
Inherited from
BoundedJoinSemilattice
def meet(a: Trilean, b: Trilean): Trilean
Inherited from
DeMorgan
def meetPartialOrder(implicit ev: Eq[Trilean]): PartialOrder[Trilean]
Inherited from
MeetSemilattice
override
def meetSemilattice: BoundedSemilattice[Trilean]
Definition Classes
BoundedMeetSemilattice -> MeetSemilattice
Inherited from
BoundedMeetSemilattice
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