spire
.
math
TrileanAlgebra
class
TrileanAlgebra
extends
Heyting
[
Trilean
]
Linear Supertypes
Heyting
[
Trilean
],
BoundedLattice
[
Trilean
],
BoundedJoinSemilattice
[
Trilean
],
BoundedMeetSemilattice
[
Trilean
],
Lattice
[
Trilean
],
MeetSemilattice
[
Trilean
],
JoinSemilattice
[
Trilean
],
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
TrileanAlgebra
Heyting
BoundedLattice
BoundedJoinSemilattice
BoundedMeetSemilattice
Lattice
MeetSemilattice
JoinSemilattice
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Instance Constructors
new
TrileanAlgebra
()
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
and
(
a:
Trilean
,
b:
Trilean
)
:
Trilean
Definition Classes
TrileanAlgebra
→
Heyting
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
complement
(
a:
Trilean
)
:
Trilean
Definition Classes
TrileanAlgebra
→
Heyting
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
imp
(
a:
Trilean
,
b:
Trilean
)
:
Trilean
Definition Classes
TrileanAlgebra
→
Heyting
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isOne
(
a:
Trilean
)
(
implicit
ev:
Eq
[
Trilean
]
)
:
Boolean
Definition Classes
BoundedMeetSemilattice
def
isZero
(
a:
Trilean
)
(
implicit
ev:
Eq
[
Trilean
]
)
:
Boolean
Definition Classes
BoundedJoinSemilattice
def
join
(
a:
Trilean
,
b:
Trilean
)
:
Trilean
Definition Classes
Heyting
→
JoinSemilattice
def
meet
(
a:
Trilean
,
b:
Trilean
)
:
Trilean
Definition Classes
Heyting
→
MeetSemilattice
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
one
:
Trilean
Definition Classes
TrileanAlgebra
→
BoundedMeetSemilattice
def
or
(
a:
Trilean
,
b:
Trilean
)
:
Trilean
Definition Classes
TrileanAlgebra
→
Heyting
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
zero
:
Trilean
Definition Classes
TrileanAlgebra
→
BoundedJoinSemilattice
Inherited from
Heyting
[
Trilean
]
Inherited from
BoundedLattice
[
Trilean
]
Inherited from
BoundedJoinSemilattice
[
Trilean
]
Inherited from
BoundedMeetSemilattice
[
Trilean
]
Inherited from
Lattice
[
Trilean
]
Inherited from
MeetSemilattice
[
Trilean
]
Inherited from
JoinSemilattice
[
Trilean
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped