klee::BinaryExpr Class Reference
#include <Expr.h>
Inheritance diagram for klee::BinaryExpr:
Collaboration diagram for klee::BinaryExpr:
Public Member Functions | |
| unsigned | getNumKids () const |
| ref< Expr > | getKid (unsigned i) const |
Static Public Member Functions | |
| static bool | classof (const Expr *E) |
| static bool | classof (const BinaryExpr *) |
Public Attributes | |
| ref< Expr > | left |
| ref< Expr > | right |
Protected Member Functions | |
| BinaryExpr (const ref< Expr > &l, const ref< Expr > &r) | |
Detailed Description
Definition at line 362 of file Expr.h.
Constructor & Destructor Documentation
Member Function Documentation
| static bool klee::BinaryExpr::classof | ( | const BinaryExpr * | ) | [inline, static] |
| static bool klee::BinaryExpr::classof | ( | const Expr * | E | ) | [inline, static] |
Reimplemented from klee::Expr.
Reimplemented in klee::CmpExpr.
Definition at line 380 of file Expr.h.
References klee::Expr::BinaryKindFirst, klee::Expr::BinaryKindLast, and klee::Expr::getKind().
Here is the call graph for this function:
| unsigned klee::BinaryExpr::getNumKids | ( | ) | const [inline, virtual] |
Member Data Documentation
Definition at line 364 of file Expr.h.
Referenced by _getImpliedValue(), klee::ConstraintManager::addConstraintInternal(), klee::ExprRangeEvaluator< T >::evaluate(), CexData::forceExprToRange(), getKid(), and klee::ExprEvaluator::protectedDivOperation().
Definition at line 364 of file Expr.h.
Referenced by _getImpliedValue(), klee::ConstraintManager::addConstraintInternal(), klee::ExprRangeEvaluator< T >::evaluate(), CexData::forceExprToRange(), getKid(), and klee::ExprEvaluator::protectedDivOperation().
The documentation for this class was generated from the following file:
- include/klee/Expr.h
