Class PointValue

Defined in File graphconstruct.h

Inheritance Relationships

Base Type

public Inst::BoundedValue (Class BoundedValue)

Class Documentation

class PointValue : public Inst::BoundedValue 

Public Functions

inline PointValue(double v)

inline virtual void write(ostream &o) const

virtual BoundedValue *operator+=(const BoundedValue*)

virtual BoundedValue *operator-=(const BoundedValue*)

virtual BoundedValue *operator*=(const BoundedValue*)

virtual BoundedValue *operator/=(const BoundedValue*)

inline virtual BoundedValue *infUpper()

inline virtual BoundedValue *infLower()

inline virtual void negate()

inline virtual double getLB() const

inline virtual double getUB() const

virtual BoundedValue *accum(const BoundedValue *bv)

inline virtual bool contains(double d) const

inline virtual PointValue *copy() const