exprUBDiv Class Reference

class to compute upper bound of a fraction based on the bounds of both numerator and denominator More...

#include <exprBDiv.hpp>

Inheritance diagram for exprUBDiv:

Inheritance graph
[legend]
Collaboration diagram for exprUBDiv:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 exprUBDiv (expression **al, int n)
 Constructors, destructor.
expressionclone (Domain *d=NULL) const
 cloning method
CouNumber operator() ()
 function for the evaluation of the expression
enum pos printPos () const
 print position (PRE, INSIDE, POST)
std::string printOp () const
 print operator

Detailed Description

class to compute upper bound of a fraction based on the bounds of both numerator and denominator

Definition at line 84 of file exprBDiv.hpp.


Constructor & Destructor Documentation

exprUBDiv::exprUBDiv ( expression **  al,
int  n 
) [inline]

Constructors, destructor.

Definition at line 89 of file exprBDiv.hpp.

Referenced by clone().


Member Function Documentation

expression* exprUBDiv::clone ( Domain d = NULL  )  const [inline, virtual]

cloning method

Reimplemented from expression.

Definition at line 93 of file exprBDiv.hpp.

References exprOp::clonearglist(), exprUBDiv(), and exprOp::nargs_.

CouNumber exprUBDiv::operator() (  )  [inline, virtual]

function for the evaluation of the expression

Implements expression.

Definition at line 111 of file exprBDiv.hpp.

References exprOp::arglist_, COUENNE_INFINITY, and safeDiv().

enum pos exprUBDiv::printPos (  )  const [inline, virtual]

print position (PRE, INSIDE, POST)

Reimplemented from exprOp.

Definition at line 100 of file exprBDiv.hpp.

References PRE.

std::string exprUBDiv::printOp (  )  const [inline, virtual]

print operator

Reimplemented from exprOp.

Definition at line 104 of file exprBDiv.hpp.


The documentation for this class was generated from the following file:
Generated on Sun Mar 6 03:06:19 2011 for Couenne by  doxygen 1.4.7