codac2_Parallelepiped.h

Go to the documentation of this file.

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

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

      static Parallelepiped empty(Index n);
      
      std::vector<Vector> vertices() const;

      BoolInterval contains(const Vector& v) const;

      BoolInterval is_superset(const IntervalVector& x) const;

      Parallelepiped operator&(const IntervalVector& x) const;
  };

  IntervalVector operator&(const IntervalVector& x, const Parallelepiped& p);
}