The logical conjunction of this answer and the given answer.
The logical conjunction of this answer and the given answer.
In this case Unknown is considered to either represent the
answer Yes or No; hence, this && other
is treated as
this && (Yes || No)
.
Returns true
if and only if this answer is No
.
Returns true
if and only if this answer is No
.
Effectively the same as a comparison with No.
Returns true
if this answer is Yes
or Unknown
, false
otherwise.
Returns true
if this answer is No
or Unknown
, false
otherwise.
Returns true
if and only if this answer is Unknown
.
Returns true
if and only if this answer is Unknown
.
Effectively the same as a comparison with Unknown.
Returns true
if and only if this answer is Yes
.
Returns true
if and only if this answer is Yes
.
Effectively the same as a comparison with Yes.
Returns true
if this answer is either Yes
or No
; false if this answer
is Unknown
.
Joins this answer and the given answer.
Joins this answer and the given answer. In this case Unknown
will
represent the case that we have both answers; that is we have
a set based view w.r.t. Answer
s. Hence,
this join Unknown
is considered as this join {Yes, No}
where
the set {Yes, No}
is represented by Unknown
.
If the other Answer
is identical to this
answer this
is returned,
otherwise Unknown
is returned.
The negation of this Answer
.
The negation of this Answer
. If the answer is Unknown
the negation is
still Unknown
.
The logical disjunction of this answer and the given answer.
The logical disjunction of this answer and the given answer.
In this case Unknown is considered to either represent the
answer Yes or No; hence, this || other
is treated as
this || (Yes || No)
.
If this answer is unknown the given function is evaluated and that
result is returned, otherwise this
answer is returned.
Returns true
if this answer is No
or Unknown
, false
otherwise.
Returns true
if this answer is Yes
or Unknown
, false
otherwise.
Models a three state answer (Yes, No, Unknown).