Class BoundedValue

Defined in File graphconstruct.h

Inheritance Relationships

Derived Types

public Inst::BoundedInterval (Class BoundedInterval)
public Inst::PointValue (Class PointValue)
public Inst::Undefined (Class Undefined)

Class Documentation

class BoundedValue

Subclassed by Inst::BoundedInterval, Inst::PointValue, Inst::Undefined

Public Functions

inline virtual ~BoundedValue()

inline virtual void write(ostream&) const

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

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

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

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

inline virtual void negate()

inline virtual bool gotLB() const

inline virtual bool gotUB() const

virtual double getLB() const = 0

virtual double getUB() const = 0

virtual BoundedValue *accum(const BoundedValue *bv) = 0

inline virtual bool contains(double d) const

virtual BoundedValue *infUpper() = 0

virtual BoundedValue *infLower() = 0

virtual BoundedValue *copy() const = 0