codac2_Domain.h

Go to the documentation of this file.

 
#pragma once
 
#include <cstdio>
#include <vector>
#include <string>
#include "codac2_math.h"
 
namespace codac2
{
  class Domain
  {
    public:
 
      virtual ~Domain() = default;
  };
 
  template<typename T,typename V>
  class DomainInterface : public Domain
  {
    public:
 
      DomainInterface()
      { }
 
      ~DomainInterface()
      { }
 
      virtual V lb() const = 0;
      virtual V ub() const = 0;
      virtual V mid() const = 0;
      virtual V mag() const = 0;
      virtual V mig() const = 0;
      virtual V smag() const = 0;
      virtual V smig() const = 0;
      virtual V rad() const = 0;
      virtual V diam() const = 0;
      virtual double volume() const = 0;
      virtual void set_empty() = 0;
      virtual bool is_empty() const = 0;
      virtual bool contains(const V& x) const = 0;
      virtual bool interior_contains(const V& x) const = 0;
      virtual bool is_unbounded() const = 0;
      virtual bool is_degenerated() const = 0;
      virtual bool intersects(const T &x) const = 0;
      virtual bool is_disjoint(const T& x) const = 0;
      virtual bool overlaps(const T &x) const = 0;
      virtual bool is_subset(const T& x) const = 0;
      virtual bool is_strict_subset(const T& x) const = 0;
      virtual bool is_interior_subset(const T& x) const = 0;
      virtual bool is_strict_interior_subset(const T& x) const = 0;
      virtual bool is_superset(const T& x) const = 0;
      virtual bool is_strict_superset(const T& x) const = 0;
  };
 
  template<typename... X>
  static double total_volume(const X&... x)
  {
    double v = 0;
    ((v += x.volume()), ...);
    return v;
  }
}