clang: clang::dataflow::FormulaBoolValue Class Reference (original) (raw)
Models a compound boolean formula. More...
#include "[clang/Analysis/FlowSensitive/Value.h](Analysis%5F2FlowSensitive%5F2Value%5F8h%5Fsource.html)"
| Public Member Functions | |
|---|---|
| FormulaBoolValue (const Formula &F) | |
| Public Member Functions inherited from clang::dataflow::BoolValue | |
| BoolValue (Kind ValueKind, const Formula &F) | |
| const Formula & | formula () const |
| Public Member Functions inherited from clang::dataflow::Value | |
| Value (Kind ValKind) | |
| Value (const Value &)=delete | |
| Value & | operator= (const Value &)=delete |
| virtual | ~Value ()=default |
| Kind | getKind () const |
| Value * | getProperty (llvm::StringRef Name) const |
| Returns the value of the synthetic property with the given Name or null if the property isn't assigned a value. | |
| void | setProperty (llvm::StringRef Name, Value &Val) |
| Assigns Val as the value of the synthetic property with the given Name. | |
| llvm::iterator_range< llvm::StringMap< Value * >::const_iterator > | properties () const |
Models a compound boolean formula.
Definition at line 147 of file Value.h.
| clang::dataflow::FormulaBoolValue::FormulaBoolValue ( const Formula & F) | inlineexplicit |
|---|
◆ classof()
| bool clang::dataflow::FormulaBoolValue::classof ( const Value * Val) | inlinestatic |
|---|
The documentation for this class was generated from the following file:
- include/clang/Analysis/FlowSensitive/Value.h