Class BoundedInterval

Defined in File graphconstruct.h

Inheritance Relationships

Base Type

public Inst::BoundedValue (Class BoundedValue)

Class Documentation

class BoundedInterval : public Inst::BoundedValue 

Public Functions

inline BoundedInterval(double l, double u)

inline virtual BoundedValue *infUpper()

inline virtual BoundedValue *infLower()

inline virtual void negate()

inline virtual BoundedValue *accum(const BoundedValue *bv)

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 bool gotLB() const

inline virtual bool gotUB() const

inline virtual double getLB() const

inline virtual double getUB() const

inline virtual bool contains(double d) const

inline virtual BoundedInterval *copy() const