CVCL::ExprRational Class Reference

#include <expr_value.h>

Inheritance diagram for CVCL::ExprRational:

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

Collaboration graph
[legend]
List of all members.

Public Member Functions

Protected Member Functions

Private Member Functions

Static Private Member Functions

Private Attributes

Friends


Detailed Description

Definition at line 607 of file expr_value.h.


Constructor & Destructor Documentation

CVCL::ExprRational::ExprRational ExprManager em,
const Rational r,
unsigned  idx = 0
[inline]
 

Definition at line 633 of file expr_value.h.

Referenced by copy().

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

Definition at line 636 of file expr_value.h.


Member Function Documentation

virtual const Rational& CVCL::ExprRational::getRational  )  const [inline, private, virtual]
 

Reimplemented from CVCL::ExprValue.

Definition at line 613 of file expr_value.h.

Referenced by operator==().

static size_t CVCL::ExprRational::hash const Rational r  )  [inline, static, private]
 

Definition at line 616 of file expr_value.h.

References CVCL::Rational::toString().

virtual size_t CVCL::ExprRational::getMMIndex  )  const [inline, private, virtual]
 

Get unique memory manager ID.

Reimplemented from CVCL::ExprValue.

Definition at line 621 of file expr_value.h.

References CVCL::EXPR_RATIONAL.

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

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

Non-caching hash function which actually computes the hash.

This is the method that all subclasses should implement

Reimplemented from CVCL::ExprValue.

Definition at line 625 of file expr_value.h.

References CVCL::hash().

bool CVCL::ExprRational::operator== const ExprValue ev2  )  const [protected, virtual]
 

Equality between any two ExprValue objects (including subclasses).

Reimplemented from CVCL::ExprValue.

Definition at line 156 of file expr_value.cpp.

References CVCL::ExprValue::getMMIndex(), getMMIndex(), CVCL::ExprValue::getRational(), and getRational().

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

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

Reimplemented from CVCL::ExprValue.

Definition at line 163 of file expr_value.cpp.

References d_r, ExprRational(), CVCL::ExprManager::getMM(), and getMMIndex().

virtual bool CVCL::ExprRational::isRational  )  const [inline, protected, virtual]
 

Rational number expression tester.

Reimplemented from CVCL::ExprValue.

Definition at line 629 of file expr_value.h.

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

Overload operator new.

Reimplemented from CVCL::ExprValue.

Definition at line 638 of file expr_value.h.

References CVCL::MemoryManager::newData().

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

Overload operator delete.

Reimplemented from CVCL::ExprValue.

Definition at line 641 of file expr_value.h.


Friends And Related Function Documentation

friend class Expr [friend]
 

Reimplemented from CVCL::ExprValue.

Definition at line 608 of file expr_value.h.

friend class ExprManager [friend]
 

Reimplemented from CVCL::ExprValue.

Definition at line 609 of file expr_value.h.


Member Data Documentation

Rational CVCL::ExprRational::d_r [private]
 

Definition at line 611 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