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