codac_Variable.h

Go to the documentation of this file.

 
#ifndef __CODAC_VARIABLE_H__
#define __CODAC_VARIABLE_H__
 
#include "codac_Interval.h"
#include "codac_IntervalVector.h"
 
namespace codac
{
  class Var
  {
 
  };
 
  class IntervalVar : private Interval, Var
  {
    public:
 
      IntervalVar()
        : Interval()
      {
 
      }
 
    protected:
 
      friend class Domain;
      friend class Contractor;
      friend class ContractorNetwork;
  };
 
  class IntervalVectorVar : private IntervalVector, Var
  {
    public:
 
      IntervalVectorVar(int n)
        : IntervalVector(n)
      {
        
      }
 
      IntervalVar& operator[](int index)
      {
        return (IntervalVar&)IntervalVector::operator[](index);
      }
 
      int size()
      {
        return IntervalVector::size();
      }
 
    protected:
 
      friend class Domain;
      friend class Contractor;
      friend class ContractorNetwork;
  };
}
 
#endif