Generalized Boolean algebra, that is, a Boolean algebra without the top element. Generalized Boolean algebras do not (in general) have (absolute) complements, but they have relative complements (see GenBool.without).
Attributes
- Companion
- object
- Source
- GenBool.scala
- Graph
-
- Supertypes
-
trait BoundedJoinSemilattice[A]trait DistributiveLattice[A]trait Lattice[A]trait MeetSemilattice[A]trait JoinSemilattice[A]trait Serializableclass AnyShow all
- Known subtypes
-
class BitSetAlgebraclass SetLattice[A]trait Bool[A]class BooleanAlgebraclass BoolFromBoolRing[A]class DualBool[A]class GenBoolFromBoolRng[A]Show all
- Self type
-
GenBool[A]
Members list
Value members
Abstract methods
Attributes
- Source
- GenBool.scala
Attributes
- Source
- GenBool.scala
The operation of relative complement, symbolically often denoted a\b
(the symbol for set-theoretic difference, which is the meaning of relative complement in the lattice of sets).
The operation of relative complement, symbolically often denoted a\b
(the symbol for set-theoretic difference, which is the meaning of relative complement in the lattice of sets).
Attributes
- Source
- GenBool.scala
Concrete methods
Attributes
- Definition Classes
- Source
- GenBool.scala
Attributes
- Definition Classes
- Source
- GenBool.scala
Logical exclusive or, set-theoretic symmetric difference.
Logical exclusive or, set-theoretic symmetric difference. Defined as a\b ∨ b\a
.
Attributes
- Source
- GenBool.scala
Deprecated methods
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
.
Attributes
- Deprecated
-
[Since version 2.7.0]
- Source
- GenBool.scala
Inherited methods
This is the lattice with meet and join swapped
This is the lattice with meet and join swapped
Attributes
- Inherited from:
- Lattice
- Source
- Lattice.scala
Attributes
- Inherited from:
- BoundedJoinSemilattice
- Source
- BoundedJoinSemilattice.scala
Attributes
- Inherited from:
- JoinSemilattice
- Source
- JoinSemilattice.scala
Attributes
- Definition Classes
- Inherited from:
- BoundedJoinSemilattice
- Source
- BoundedJoinSemilattice.scala
Attributes
- Inherited from:
- MeetSemilattice
- Source
- MeetSemilattice.scala
Attributes
- Inherited from:
- MeetSemilattice
- Source
- MeetSemilattice.scala
Attributes
- Inherited from:
- BoundedJoinSemilattice
- Source
- BoundedJoinSemilattice.scala