#include <expr_value.h>
Inheritance diagram for CVCL::ExprApply:
Definition at line 434 of file expr_value.h.
|
Definition at line 450 of file expr_value.h. References CVCL::APPLY, CVCL::Op::getExpr(), and CVCL::Expr::isNull(). Referenced by copy(). |
|
Definition at line 455 of file expr_value.h. References CVCL::APPLY, CVCL::Op::getExpr(), and CVCL::Expr::isNull(). |
|
Definition at line 460 of file expr_value.h. |
|
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==(). |
|
Use our static hash() for the member method.
Reimplemented from CVCL::ExprNode. Definition at line 441 of file expr_value.h. |
|
Get the Op from an Apply Expr.
Reimplemented from CVCL::ExprValue. Definition at line 444 of file expr_value.h. Referenced by operator==(). |
|
Application of another expression.
Reimplemented from CVCL::ExprValue. Definition at line 445 of file expr_value.h. |
|
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(). |
|
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(). |
|
Overload operator new.
Reimplemented from CVCL::ExprNode. Definition at line 464 of file expr_value.h. References CVCL::MemoryManager::newData(). |
|
Overload operator delete.
Reimplemented from CVCL::ExprNode. Definition at line 467 of file expr_value.h. |
|
Reimplemented from CVCL::ExprNode. Definition at line 435 of file expr_value.h. |
|
Reimplemented from CVCL::ExprNode. Definition at line 436 of file expr_value.h. |
|
Definition at line 438 of file expr_value.h. Referenced by copy(). |