codac2_AbstractDomain.h

Go to the documentation of this file.

#ifndef __CODAC2_ABSTRACTDOMAIN_H__
#define __CODAC2_ABSTRACTDOMAIN_H__

#include "codac_IntervalVector.h"

namespace codac2
{
  using codac::IntervalVector;

  class AbstractDomain
  {
    public:

      AbstractDomain();
      IntervalVector box() const;

    protected:

  };
}

#endif