variable.h

#ifndef SCIL_VARIABLE_H
#define SCIL_VARIABLE_H

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

namespace SCIL {

class row; 
class var_obj; 
class var; 
class ABA_Variable;

class var {

 private:

  var_obj* VS;

 public:
  LEDA_MEMORY(var)

  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);

  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);
};


int Hash(SCIL::var v);
  //int ID_Number(const SCIL::var &);
int compare(const SCIL::var& v1, const SCIL::var& v2);

};

#endif

---