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

Methods

virtual void Profile(
    llvm::FoldingSetNodeID& ID) const

Declared at: llvm/include/llvm/Support/SMTAPI.h:58

Parameters

llvm::FoldingSetNodeID& ID

SMTSort()

Declared at: llvm/include/llvm/Support/SMTAPI.h:28

void dump() const

Declared at: llvm/include/llvm/Support/SMTAPI.h:73

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

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

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

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

Description

Query the SMT solver and returns the sort bit width.

Declared at: llvm/include/llvm/Support/SMTAPI.h:93

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

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

Description

Returns true if the sort is a boolean, calls isBooleanSortImpl().

Declared at: llvm/include/llvm/Support/SMTAPI.h:38

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

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

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

Declared at: llvm/include/llvm/Support/SMTAPI.h:71

Parameters

llvm::raw_ostream& OS

virtual ~SMTSort()

Declared at: llvm/include/llvm/Support/SMTAPI.h:29