Class AbstractValue
An abstract value. This is either a boolean value, or a switch case.
Import path
import semmle.code.cpp.controlflow.IRGuardsDirect supertypes
Known direct subtypes
Predicates
| getDualValue | Gets an abstract value that represents the dual of this value, if any. |
| toString | Gets a textual representation of this abstract value. |