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& z, const Matrix& A);
      
      std::vector<Vector> vertices() const;

      IntervalVector box() const;

      BoolInterval contains(const Vector& v) const;

      BoolInterval is_superset(const IntervalVector& x) const;
 
  };
}