Class Undefined

Defined in File graphconstruct.h

Inheritance Relationships

Base Type

public Inst::BoundedValue (Class BoundedValue)

Class Documentation

class Undefined : public Inst::BoundedValue 

Public Functions

inline virtual void write(ostream &o) const

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

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

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

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

inline virtual BoundedValue *infUpper()

inline virtual BoundedValue *infLower()

inline virtual double getLB() const

inline virtual double getUB() const

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

inline virtual Undefined *copy() const