codac2_AbstractDomain.h

Go to the documentation of this file.

 
#ifndef __CODAC2_ABSTRACTDOMAIN_H__
#define __CODAC2_ABSTRACTDOMAIN_H__
 
#include "codac_IntervalVector.h"
 
namespace codac2
{
  class AbstractDomain
  {
    public:
 
      AbstractDomain();
      codac::IntervalVector box() const;
 
    protected:
 
  };
}
 
#endif