CVCL::ExprApply Class Reference

#include <expr_value.h>

Inheritance diagram for CVCL::ExprApply:

Inheritance graph
[legend]
Collaboration diagram for CVCL::ExprApply:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Protected Member Functions

Private Attributes

Friends


Detailed Description

Definition at line 434 of file expr_value.h.


Constructor & Destructor Documentation

CVCL::ExprApply::ExprApply ExprManager em,
const Op op,
unsigned  idx = 0
[inline]
 

Definition at line 450 of file expr_value.h.

References CVCL::APPLY, CVCL::Op::getExpr(), and CVCL::Expr::isNull().

Referenced by copy().

CVCL::ExprApply::ExprApply ExprManager em,
const Op op,
const std::vector< Expr > &  kids,
unsigned  idx = 0
[inline]
 

Definition at line 455 of file expr_value.h.

References CVCL::APPLY, CVCL::Op::getExpr(), and CVCL::Expr::isNull().

virtual CVCL::ExprApply::~ExprApply  )  [inline, virtual]
 

Definition at line 460 of file expr_value.h.


Member Function Documentation

size_t CVCL::ExprApply::getMMIndex  )  const [inline, protected, virtual]
 

Tell ExprManager who we are.

Reimplemented from CVCL::ExprNode.

Definition at line 440 of file expr_value.h.

References CVCL::EXPR_APPLY.

Referenced by copy(), and operator==().

size_t CVCL::ExprApply::computeHash  )  const [inline, protected, virtual]
 

Use our static hash() for the member method.

Reimplemented from CVCL::ExprNode.

Definition at line 441 of file expr_value.h.

Op CVCL::ExprApply::getOp  )  const [inline, protected, virtual]
 

Get the Op from an Apply Expr.

Reimplemented from CVCL::ExprValue.

Definition at line 444 of file expr_value.h.

Referenced by operator==().

bool CVCL::ExprApply::isApply  )  const [inline, protected, virtual]
 

Application of another expression.

Reimplemented from CVCL::ExprValue.

Definition at line 445 of file expr_value.h.

ExprValue * CVCL::ExprApply::copy ExprManager em,
ExprIndex  idx = 0
const [protected, virtual]
 

Make a clean copy of itself using the given memory manager.

Reimplemented from CVCL::ExprNode.

Definition at line 213 of file expr_value.cpp.

References CVCL::ExprNode::d_children, CVCL::ExprValue::d_em, d_opExpr, ExprApply(), CVCL::ExprManager::getMM(), getMMIndex(), and CVCL::ExprValue::rebuild().

bool CVCL::ExprApply::operator== const ExprValue ev2  )  const [virtual]
 

Compare with another ExprValue.

Reimplemented from CVCL::ExprNode.

Definition at line 205 of file expr_value.cpp.

References CVCL::ExprValue::getKids(), CVCL::ExprNode::getKids(), CVCL::ExprValue::getMMIndex(), getMMIndex(), CVCL::ExprValue::getOp(), and getOp().

void* CVCL::ExprApply::operator new size_t  size,
MemoryManager mm
[inline]
 

Overload operator new.

Reimplemented from CVCL::ExprNode.

Definition at line 464 of file expr_value.h.

References CVCL::MemoryManager::newData().

void CVCL::ExprApply::operator delete void *   )  [inline]
 

Overload operator delete.

Reimplemented from CVCL::ExprNode.

Definition at line 467 of file expr_value.h.


Friends And Related Function Documentation

friend class Expr [friend]
 

Reimplemented from CVCL::ExprNode.

Definition at line 435 of file expr_value.h.

friend class ExprManager [friend]
 

Reimplemented from CVCL::ExprNode.

Definition at line 436 of file expr_value.h.


Member Data Documentation

Expr CVCL::ExprApply::d_opExpr [private]
 

Definition at line 438 of file expr_value.h.

Referenced by copy().


The documentation for this class was generated from the following files:
Generated on Thu Apr 13 16:57:43 2006 for CVC Lite by  doxygen 1.4.4