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

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

Parameters

llvm::FoldingSetNodeID& ID

SMTExpr()

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

void dump() const

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

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

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

Parameters

llvm::raw_ostream& OS

virtual ~SMTExpr()

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