llvm::SMTSort

Synopsis

Declared in <llvm/Support/SMTAPI.h>

class SMTSort;

Name	Description
`SMTSort` [constructor]	Construct an empty SMT sort.
`~SMTSort` [destructor] [virtual]	Destroy this SMT sort.
`Profile` [virtual]	Profile this sort into a FoldingSet node ID.
`dump`	Dump this sort to the debug stream.
`getBitvectorSortSize` [virtual]	Returns the bitvector size, fails if the sort is not a bitvector Calls getBitvectorSortSizeImpl().
`getFloatSortSize` [virtual]	Returns the floating-point size, fails if the sort is not a floating-point Calls getFloatSortSizeImpl().
`isBitvectorSort` [virtual]	Returns true if the sort is a bitvector, calls isBitvectorSortImpl().
`isBooleanSort` [virtual]	Returns true if the sort is a boolean, calls isBooleanSortImpl().
`isFloatSort` [virtual]	Returns true if the sort is a floating-point, calls isFloatSortImpl().
`print` [virtual]	Print this sort to an output stream.
`operator<`	Compare this sort with `Other` by FoldingSet profile order.

Name	Description
`equal_to` [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.
`getBitvectorSortSizeImpl` [virtual]	Query the SMT solver and returns the sort bit width.
`getFloatSortSizeImpl` [virtual]	Query the SMT solver and returns the sort bit width.
`isBitvectorSortImpl` [virtual]	Query the SMT solver and checks if a sort is bitvector.
`isBooleanSortImpl` [virtual]	Query the SMT solver and checks if a sort is boolean.
`isFloatSortImpl` [virtual]	Query the SMT solver and checks if a sort is floating-point.

Name	Description
`llvm::operator==`	Return true if `LHS` and `RHS` are equal sorts.