Class representing a zonotope \(\mathbf{z} + \mathbf{A}\cdot[-1,1]^m\). More...

#include <codac2_Zonotope.h>

Inheritance diagram for codac2::Zonotope:

Public Member Functions
	Zonotope (const Vector &z, const Matrix &A)
	Constructs a n-zonotope object with a given center and shape matrix.
IntervalVector	box () const
	Computes the axis-aligned bounding box of the zonotope.
Zonotope	proj (const std::vector< Index > &indices) const
	Projects the Zonotope onto the subspace defined by the given indices.

Public Attributes
Vector	z
	Center of the zonotope.
Matrix	A
	Shape matrix of the zonotope.

Detailed Description

Class representing a zonotope \(\mathbf{z} + \mathbf{A}\cdot[-1,1]^m\).

This class represents a zonotope in n-dimensional space, defined by a center point \(\mathbf{z}\) and a shape matrix \(\mathbf{A}\).

The vector \(\mathbf{z}\) and each column of the matrix \(\mathbf{A}\) must have the same dimension \(n\), but the matrix \(\mathbf{A}\) can have any number of columns \(m\).

Constructor & Destructor Documentation

◆ Zonotope()

codac2::Zonotope::Zonotope	(	const Vector &	z,
		const Matrix &	A )

Constructs a n-zonotope object with a given center and shape matrix.

Parameters

z	Center of the zonotope (n-dimensional vector)
A	Shape matrix of the zonotope ( \(n\times m\) matrix)

Member Function Documentation

◆ box()

IntervalVector codac2::Zonotope::box ( ) const

Computes the axis-aligned bounding box of the zonotope.

Returns: An IntervalVector representing the axis-aligned bounding box of the zonotope

◆ proj()

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

Projects the Zonotope onto the subspace defined by the given indices.

Parameters

indices Vector of indices of the dimensions to project onto

Returns: A new Zonotope object representing the projection of the Zonotope onto the specified subspace

The documentation for this class was generated from the following file:

/home/simon/codac-simon/src/core/domains/zonotope/codac2_Zonotope.h