codac2_Zonotope.h

Go to the documentation of this file.

 
#pragma once
 
#include <vector>
#include "codac2_Vector.h"
#include "codac2_Matrix.h"
#include "codac2_IntervalVector.h"
 
namespace codac2
{
  class Zonotope
  {
    public:

      Zonotope(const Vector& c, const Matrix& A);

      static Zonotope empty(Index n);

      bool is_empty() const;

      void set_empty();

 
      Index size() const { return c.size(); }

      IntervalVector box() const;

      Zonotope proj(const std::vector<Index>& indices) const;

      Zonotope operator+(const Zonotope& zonotope);

      Vector c;

      Matrix A;

      bool empty_flag = false;
  };

  std::ostream& operator<<(std::ostream& str, const Zonotope& z);
}