core/algebra.instances/BitSetAlgebra

BitSetAlgebra

class BitSetAlgebra extends GenBool[BitSet] with Serializable
trait GenBool[BitSet]
trait DistributiveLattice[BitSet]
trait Lattice[BitSet]
trait MeetSemilattice[BitSet]
trait JoinSemilattice[BitSet]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

def and(a: BitSet, b: BitSet): BitSet
def or(a: BitSet, b: BitSet): BitSet
def without(a: BitSet, b: BitSet): BitSet
override def xor(a: BitSet, b: BitSet): BitSet
Definition Classes

Inherited methods

def asBoolRing: BoolRng[BitSet]

Every generalized Boolean algebra is also a BoolRng, with multiplication defined as and and addition defined as xor.

Every generalized Boolean algebra is also a BoolRng, with multiplication defined as and and addition defined as xor.

Inherited from
GenBool
def dual: Lattice[BitSet]

This is the lattice with meet and join swapped

This is the lattice with meet and join swapped

Inherited from
Lattice
def isZero(a: BitSet)(ev: Eq[BitSet]): Boolean
override def join(a: BitSet, b: BitSet): BitSet
Definition Classes
Inherited from
GenBool
def joinPartialOrder(ev: Eq[BitSet]): PartialOrder[BitSet]
Inherited from
JoinSemilattice
override def joinSemilattice: BoundedSemilattice[BitSet]
override def meet(a: BitSet, b: BitSet): BitSet
Definition Classes
Inherited from
GenBool
def meetPartialOrder(ev: Eq[BitSet]): PartialOrder[BitSet]
Inherited from
MeetSemilattice
def meetSemilattice: Semilattice[BitSet]
Inherited from
MeetSemilattice

Concrete fields

val zero: BitSet