public interface Bool
Modifier and Type | Method and Description |
---|---|
boolean |
isMaybeAnyBool()
Returns true if this value is maybe any boolean.
|
boolean |
isMaybeFalse()
Returns true if this value is maybe false.
|
boolean |
isMaybeFalseButNotTrue()
Returns true if this value is maybe false but not true.
|
boolean |
isMaybeOtherThanBool()
Returns true if this value is maybe a non-boolean.
|
boolean |
isMaybeTrue()
Returns true if this value is maybe true.
|
boolean |
isMaybeTrueButNotFalse()
Returns true if this value is maybe true but not false.
|
boolean |
isNotBool()
Returns true if this value is definitely not a boolean.
|
Value |
joinAnyBool()
Constructs a value as the join of this value and any boolean.
|
Value |
joinBool(boolean x)
Constructs a value as the join of this value and the given concrete boolean value.
|
Value |
joinBool(Value x)
Constructs a value as the join of this value and the given concrete boolean value.
|
Value |
restrictToNotBool()
Constructs a value as a copy of this value but definitely not a boolean.
|
boolean isMaybeAnyBool()
boolean isMaybeFalse()
boolean isMaybeFalseButNotTrue()
boolean isMaybeOtherThanBool()
boolean isMaybeTrue()
boolean isMaybeTrueButNotFalse()
boolean isNotBool()
Value joinAnyBool()
Value joinBool(boolean x)
Value joinBool(Value x)
Value restrictToNotBool()
Copyright © 2009-2019 Aarhus University