Generic base class for SMT exprs.
More...
#include "clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h"
|
virtual bool | equal_to (SMTExpr const &other) const =0 |
| Query the SMT solver and returns true if two sorts are equal (same kind and bit width). More...
|
|
Generic base class for SMT exprs.
Definition at line 25 of file SMTExpr.h.
◆ SMTExpr()
clang::ento::SMTExpr::SMTExpr |
( |
| ) |
|
|
default |
◆ ~SMTExpr()
virtual clang::ento::SMTExpr::~SMTExpr |
( |
| ) |
|
|
virtualdefault |
◆ dump()
LLVM_DUMP_METHOD void clang::ento::SMTExpr::dump |
( |
| ) |
const |
|
inline |
◆ equal_to()
virtual bool clang::ento::SMTExpr::equal_to |
( |
SMTExpr const & |
other | ) |
const |
|
protectedpure virtual |
Query the SMT solver and returns true if two sorts are equal (same kind and bit width).
This does not check if the two sorts are the same objects.
Referenced by dump().
◆ operator<()
bool clang::ento::SMTExpr::operator< |
( |
const SMTExpr & |
Other | ) |
const |
|
inline |
◆ print()
virtual void clang::ento::SMTExpr::print |
( |
raw_ostream & |
OS | ) |
const |
|
pure virtual |
◆ Profile()
virtual void clang::ento::SMTExpr::Profile |
( |
llvm::FoldingSetNodeID & |
ID | ) |
const |
|
inlinevirtual |
◆ operator==
The documentation for this class was generated from the following file:
- include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h