CVC3::ExprNodeTmp Class Reference

#include <expr_value.h>

Inheritance diagram for CVC3::ExprNodeTmp:

Inheritance graph
[legend]
Collaboration diagram for CVC3::ExprNodeTmp:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Protected Member Functions

Protected Attributes

Private Member Functions

Friends


Detailed Description

Definition at line 487 of file expr_value.h.


Constructor & Destructor Documentation

CVC3::ExprNodeTmp::ExprNodeTmp ( ExprManager em,
int  kind,
const std::vector< Expr > &  kids 
) [inline]

Constructor.

Definition at line 522 of file expr_value.h.

virtual CVC3::ExprNodeTmp::~ExprNodeTmp (  )  [inline, virtual]

Destructor.

Definition at line 526 of file expr_value.h.


Member Function Documentation

size_t CVC3::ExprNodeTmp::getMMIndex (  )  const [inline, private, virtual]

Tell ExprManager who we are.

Reimplemented from CVC3::ExprValue.

Reimplemented in CVC3::ExprApplyTmp.

Definition at line 498 of file expr_value.h.

References CVC3::EXPR_NODE.

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

unsigned CVC3::ExprNodeTmp::arity (  )  const [inline, protected, virtual]

Return number of children.

Reimplemented from CVC3::ExprValue.

Definition at line 502 of file expr_value.h.

References d_children.

const std::vector<Expr>& CVC3::ExprNodeTmp::getKids (  )  const [inline, protected, virtual]

Return reference to children.

Reimplemented from CVC3::ExprValue.

Definition at line 505 of file expr_value.h.

References d_children.

Referenced by CVC3::ExprApplyTmp::operator==(), and operator==().

size_t CVC3::ExprNodeTmp::computeHash (  )  const [inline, protected, virtual]

Use our static hash() for the member method.

Reimplemented from CVC3::ExprValue.

Reimplemented in CVC3::ExprApplyTmp.

Definition at line 508 of file expr_value.h.

References d_children, CVC3::ExprValue::d_kind, and CVC3::ExprValue::hash().

Referenced by CVC3::ExprApplyTmp::computeHash().

Unsigned CVC3::ExprNodeTmp::computeSize (  )  const [inline, protected, virtual]

Use our static sizeWithChildren() for the member method.

Reimplemented from CVC3::ExprValue.

Definition at line 513 of file expr_value.h.

References d_children, and CVC3::ExprValue::sizeWithChildren().

ExprValue * CVC3::ExprNodeTmp::copy ( ExprManager em,
ExprIndex  idx = 0 
) const [protected, virtual]

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

Reimplemented from CVC3::ExprValue.

Reimplemented in CVC3::ExprApplyTmp.

Definition at line 91 of file expr_value.cpp.

References d_children, CVC3::ExprValue::d_em, CVC3::ExprValue::d_kind, CVC3::ExprManager::getMM(), getMMIndex(), and CVC3::ExprValue::rebuild().

bool CVC3::ExprNodeTmp::operator== ( const ExprValue ev2  )  const [virtual]

Compare with another ExprValue.

Reimplemented from CVC3::ExprValue.

Reimplemented in CVC3::ExprApplyTmp.

Definition at line 85 of file expr_value.cpp.

References CVC3::ExprValue::d_kind, CVC3::ExprValue::getKids(), getKids(), CVC3::ExprValue::getKind(), CVC3::ExprValue::getMMIndex(), and getMMIndex().


Friends And Related Function Documentation

friend class Expr [friend]

Reimplemented from CVC3::ExprValue.

Reimplemented in CVC3::ExprApplyTmp.

Definition at line 488 of file expr_value.h.

friend class ExprManager [friend]

Reimplemented from CVC3::ExprValue.

Reimplemented in CVC3::ExprApplyTmp.

Definition at line 489 of file expr_value.h.


Member Data Documentation

const std::vector<Expr>& CVC3::ExprNodeTmp::d_children [protected]

Vector of children.

Definition at line 493 of file expr_value.h.

Referenced by arity(), computeHash(), computeSize(), CVC3::ExprApplyTmp::copy(), copy(), and getKids().


The documentation for this class was generated from the following files:
Generated on Wed Nov 18 16:15:08 2009 for CVC3 by  doxygen 1.5.2