variable.h

#ifndef SCIL_VARIABLE_H
#define SCIL_VARIABLE_H

#include <scil/global.h>
#include<iostream>
#define nil 0

namespace SCIL {

class row; 
class var_obj; 
class var; 
class monomial; 
class polynomial;
class ABA_Variable;

//row operator*(double d, const var& v);

class var {

 private:
  var_obj* VS;

 public:

  var(var_obj* VS_) { VS=VS_; }
  var() { VS=nil; }
  var(const var& v) { VS=v.VS; }
  ABA_Variable* Avar_pointer();

  var_obj* var_pointer() const;

  double obj();

  double lower_bound();

  double upper_bound();

  Vartype type();
  row operator+ (const row& r);
  row operator- (const row& r);
  polynomial operator+ (const polynomial& p);
  polynomial operator- (const polynomial& p);
  polynomial operator* (const polynomial& p);
  monomial operator* (const var& a);
  row operator+ (const var& v);
  row operator- (const var& v);
  var& operator=(const var& v) { VS=v.VS; return *this; }
  bool operator<  (const var& v1) const;
  bool operator<= (const var& v1) const;
  bool operator!= (const var& v1) const;
  bool operator== (const var& v1) const;
  bool operator>  (const var& v1) const;
  row  operator*  (double d);
  
  friend std::ostream& operator<<(std::ostream& o,const var& v) {
    return o<<v.VS; };
};

};

#endif

---