class SMTSort
Declaration
class SMTSort { /* full declaration omitted */ };
Description
Generic base class for SMT sorts
Declared at: llvm/include/llvm/Support/SMTAPI.h:26
Method Overview
- public virtual void Profile(llvm::FoldingSetNodeID & ID) const
- public SMTSort()
- public void dump() const
- protected virtual bool equal_to(const llvm::SMTSort & other) const
- public virtual unsigned int getBitvectorSortSize() const
- protected virtual unsigned int getBitvectorSortSizeImpl() const
- public virtual unsigned int getFloatSortSize() const
- protected virtual unsigned int getFloatSortSizeImpl() const
- public virtual bool isBitvectorSort() const
- protected virtual bool isBitvectorSortImpl() const
- public virtual bool isBooleanSort() const
- protected virtual bool isBooleanSortImpl() const
- public virtual bool isFloatSort() const
- protected virtual bool isFloatSortImpl() const
- public virtual void print(llvm::raw_ostream & OS) const
- public virtual ~SMTSort()
Methods
¶virtual void Profile(
llvm::FoldingSetNodeID& ID) const
virtual void Profile(
llvm::FoldingSetNodeID& ID) const
Declared at: llvm/include/llvm/Support/SMTAPI.h:58
Parameters
¶SMTSort()
SMTSort()
Declared at: llvm/include/llvm/Support/SMTAPI.h:28
¶void dump() const
void dump() const
Declared at: llvm/include/llvm/Support/SMTAPI.h:73
¶virtual bool equal_to(
const llvm::SMTSort& other) const
virtual bool equal_to(
const llvm::SMTSort& 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:78
Parameters
- const llvm::SMTSort& other
¶virtual unsigned int getBitvectorSortSize() const
virtual unsigned int getBitvectorSortSize() const
Description
Returns the bitvector size, fails if the sort is not a bitvector Calls getBitvectorSortSizeImpl().
Declared at: llvm/include/llvm/Support/SMTAPI.h:42
¶virtual unsigned int getBitvectorSortSizeImpl()
const
virtual unsigned int getBitvectorSortSizeImpl()
const
Description
Query the SMT solver and returns the sort bit width.
Declared at: llvm/include/llvm/Support/SMTAPI.h:90
¶virtual unsigned int getFloatSortSize() const
virtual unsigned int getFloatSortSize() const
Description
Returns the floating-point size, fails if the sort is not a floating-point Calls getFloatSortSizeImpl().
Declared at: llvm/include/llvm/Support/SMTAPI.h:51
¶virtual unsigned int getFloatSortSizeImpl() const
virtual unsigned int getFloatSortSizeImpl() const
Description
Query the SMT solver and returns the sort bit width.
Declared at: llvm/include/llvm/Support/SMTAPI.h:93
¶virtual bool isBitvectorSort() const
virtual bool isBitvectorSort() const
Description
Returns true if the sort is a bitvector, calls isBitvectorSortImpl().
Declared at: llvm/include/llvm/Support/SMTAPI.h:32
¶virtual bool isBitvectorSortImpl() const
virtual bool isBitvectorSortImpl() const
Description
Query the SMT solver and checks if a sort is bitvector.
Declared at: llvm/include/llvm/Support/SMTAPI.h:81
¶virtual bool isBooleanSort() const
virtual bool isBooleanSort() const
Description
Returns true if the sort is a boolean, calls isBooleanSortImpl().
Declared at: llvm/include/llvm/Support/SMTAPI.h:38
¶virtual bool isBooleanSortImpl() const
virtual bool isBooleanSortImpl() const
Description
Query the SMT solver and checks if a sort is boolean.
Declared at: llvm/include/llvm/Support/SMTAPI.h:87
¶virtual bool isFloatSort() const
virtual bool isFloatSort() const
Description
Returns true if the sort is a floating-point, calls isFloatSortImpl().
Declared at: llvm/include/llvm/Support/SMTAPI.h:35
¶virtual bool isFloatSortImpl() const
virtual bool isFloatSortImpl() const
Description
Query the SMT solver and checks if a sort is floating-point.
Declared at: llvm/include/llvm/Support/SMTAPI.h:84
¶virtual void print(llvm::raw_ostream& OS) const
virtual void print(llvm::raw_ostream& OS) const
Declared at: llvm/include/llvm/Support/SMTAPI.h:71
Parameters
¶virtual ~SMTSort()
virtual ~SMTSort()
Declared at: llvm/include/llvm/Support/SMTAPI.h:29