Class BooleanValue
A Boolean value.
Import path
import semmle.code.cpp.controlflow.IRGuards
Direct supertypes
Indirect supertypes
Predicates
getDualValue | Gets an abstract value that represents the dual of this value, if any. |
getValue | Gets the underlying Boolean value. |
toString | Gets a textual representation of this abstract value. |