class SMTExpr
Declaration
class SMTExpr { /* full declaration omitted */ };
Description
Generic base class for SMT exprs
Declared at: llvm/include/llvm/Support/SMTAPI.h:100
Method Overview
- public virtual void Profile(llvm::FoldingSetNodeID & ID) const
- public SMTExpr()
- public void dump() const
- protected virtual bool equal_to(const llvm::SMTExpr & other) const
- public virtual void print(llvm::raw_ostream & OS) const
- public virtual ~SMTExpr()
Methods
¶virtual void Profile(
llvm::FoldingSetNodeID& ID) const
virtual void Profile(
llvm::FoldingSetNodeID& ID) const
Declared at: llvm/include/llvm/Support/SMTAPI.h:112
Parameters
¶SMTExpr()
SMTExpr()
Declared at: llvm/include/llvm/Support/SMTAPI.h:102
¶void dump() const
void dump() const
Declared at: llvm/include/llvm/Support/SMTAPI.h:120
¶virtual bool equal_to(
const llvm::SMTExpr& other) const
virtual bool equal_to(
const llvm::SMTExpr& other) const
Description
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.
Declared at: llvm/include/llvm/Support/SMTAPI.h:125
Parameters
- const llvm::SMTExpr& other
¶virtual void print(llvm::raw_ostream& OS) const
virtual void print(llvm::raw_ostream& OS) const
Declared at: llvm/include/llvm/Support/SMTAPI.h:118
Parameters
¶virtual ~SMTExpr()
virtual ~SMTExpr()
Declared at: llvm/include/llvm/Support/SMTAPI.h:103