Set composed of the union of multiple sets. More...

#include <MultiSet.h>

Inheritance diagram for lucid::MultiSet:

Public Member Functions
const std::vector< std::unique_ptr< Set > > &	sets () const
	Get read-only access to the sets of the multi set.

Dimension	dimension () const override
	Get read-only access to the dimension of the set \( \texttip{\mathcal{X}}{Polish sample vector space} \).

Matrix	sample (Index num_samples) const override
	Extract \( N \) elements from \( \texttip{\mathcal{X}}{Polish sample vector space} \) using some kind of random distribution.

bool	operator() (ConstVectorRef x) const override
	Check if a vector is in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

Matrix	lattice (const VectorI &points_per_dim, bool endpoint) const override

void	change_size (ConstVectorRef delta_size) override
	Change the size of the set.

Vector	general_lower_bound () const override
	Get read-only access to the lower bound of the smallest rectangular set including the whole set.

Vector	general_upper_bound () const override
	Get read-only access to the upper bound of the smallest rectangular set including the whole set.

std::unique_ptr< Set >	to_rect_set () const override
	Convert the set to a rectangular set.

std::string	to_string () const override
	Obtain the string representation of this object.

std::unique_ptr< Set >	clone () const override
	Clone the set.

std::unique_ptr< Set >	to_anisotropic () const override
	Create a new anisotropic set.

Matrix	lattice (Index points_per_dim, bool endpoint=false) const
	Generate a lattice of points in the set.

Public Member Functions inherited from lucid::Set
Vector	sample () const
	Extract an element from \( \texttip{\mathcal{X}}{Polish sample vector space} \) using some kind of random distribution.

bool	contains (ConstVectorRef x) const
	Check if a vector is in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

bool	contains_wrapped (ConstVectorRef x, ConstVectorRef period, Dimension num_periods) const
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

bool	contains_wrapped (ConstVectorRef x, ConstVectorRef period, const std::vector< Dimension > &num_periods) const
	Check if a vector is in \( \texttip{\mathcal{X}}{Polish sample vector space} \), having the vector wrapped around a given period.

bool	contains_wrapped (ConstVectorRef x, ConstVectorRef period, Dimension num_periods_below, Dimension num_periods_above) const
	This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.

bool	contains_wrapped (ConstVectorRef x, ConstVectorRef period, const std::vector< Dimension > &num_periods_below, const std::vector< Dimension > &num_periods_above) const
	Check if a vector is in \( \texttip{\mathcal{X}}{Polish sample vector space} \), having the vector wrapped around a given period.

bool	contains_wrapped (ConstVectorRef x, ConstVectorRef period) const
	Check if a vector is in \( \texttip{\mathcal{X}}{Polish sample vector space} \), having the vector wrapped around a given period.

Matrix	include (ConstMatrixRef xs) const
	Filter a set `xs`, returning only the row vectors that are in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

std::vector< Index >	include_mask (ConstMatrixRef xs) const
	Filter a set `xs`, returning a mask containing the indices corresponding to the row vectors that are in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

std::vector< Index >	include_mask_wrapped (ConstMatrixRef xs, ConstVectorRef period) const
	Filter a set `xs`, returning a mask containing the indices corresponding to the row vectors that are in \( \texttip{\mathcal{X}}{Polish sample vector space} \), accounting for wrapping around a given period.

Matrix	exclude (ConstMatrixRef xs) const
	Filter `xs`, return only the row vectors that are NOT in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

std::vector< Index >	exclude_mask (ConstMatrixRef xs) const
	Filter a set `xs`, returning a mask containing the indices corresponding to the row vectors that are NOT in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

std::vector< Index >	exclude_mask_wrapped (ConstMatrixRef xs, ConstVectorRef period) const
	Filter a set `xs`, returning a mask containing the indices corresponding to the row vectors that are NOT in \( \texttip{\mathcal{X}}{Polish sample vector space} \), accounting for wrapping around a given period.

std::pair< std::vector< Index >, std::vector< Index > >	include_exclude_masks (ConstMatrixRef xs) const
	Filter a set `xs`, returning masks containing the indices corresponding to the row vectors that are in \( \texttip{\mathcal{X}}{Polish sample vector space} \) and NOT in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

std::pair< std::vector< Index >, std::vector< Index > >	include_exclude_masks_wrapped (ConstMatrixRef xs, ConstVectorRef period) const
	Filter a set `xs`, returning masks containing the indices corresponding to the row vectors that are in \( \texttip{\mathcal{X}}{Polish sample vector space} \) and NOT in \( \texttip{\mathcal{X}}{Polish sample vector space} \), accounting for wrapping around a given period.

std::pair< std::vector< Index >, std::vector< Index > >	include_exclude_masks_wrapped (ConstMatrixRef xs, const RectSet &period) const
	Filter a set `xs`, returning masks containing the indices corresponding to the row vectors that are in \( \texttip{\mathcal{X}}{Polish sample vector space} \) and NOT in \( \texttip{\mathcal{X}}{Polish sample vector space} \), accounting for wrapping around a given period.

std::unique_ptr< Set >	scale_wrapped (double scale, const RectSet &bounds, bool relative_to_bounds=false) const
	Scale the set by the given factor while keeping it inside the given bounds.

std::unique_ptr< Set >	scale_wrapped (ConstVectorRef scale, const RectSet &bounds, bool relative_to_bounds=false) const
	Scale the set by the given factor while keeping it inside the given bounds.

template<bool Inplace = false> requires (!Inplace)
std::unique_ptr< Set >	increase_size (ConstVectorRef size_increase) const
	Increase the size of the set.

template<bool Inplace = false> requires (Inplace)
void	increase_size (ConstVectorRef size_increase)
	Increase the size of the set.

void	change_size (double delta_size)
	Change the size of the set.

Matrix	lattice (Index points_per_dim, bool endpoint=false) const
	Generate a lattice of points in the set.

template<class Derived>
Eigen::MatrixBase< Derived > &	operator>> (Eigen::MatrixBase< Derived > &x) const
	Extract \( N \) elements element from \( \texttip{\mathcal{X}}{Polish sample vector space} \) using some kind of random distribution, where \( N \) is the number of rows in \( \texttip{x}{Element of the vector space} \).

Private Member Functions
std::unique_ptr< Set >	scale_wrapped_impl (ConstVectorRef scale, const RectSet &bounds, bool relative_to_bounds) const override
	Scale the rectangular set by the given factor while keeping it inside the given bounds.

void	increase_size_impl (ConstVectorRef size_increase) override
	Increase the size of the set.

void	validate ()
	Utility function to validate the MultiSet.

Private Attributes
std::vector< std::unique_ptr< Set > >	sets_
	Sets in the union.

Detailed Description

Set composed of the union of multiple sets.

Checking whether a vector is in the set is equivalent to checking if it is in any of the sets.

Todo: Simplistic implementation of sampling.

Member Function Documentation

◆ change_size()

void lucid::MultiSet::change_size ( ConstVectorRef delta_size )

overridevirtual

Change the size of the set.

The size change can be different for each dimension. For example, for a rectangular set, this would change the lower and upper bounds so that the original set sits in the center of the new set, which has its size changed by the specified amounts.

Precondition: The set must support size changes.; The size of delta_size must be equal to the dimension of the set.; The new size must be non-negative in all dimensions.

Parameters

delta_size vector of amounts to change the size of the set for each dimension

Reimplemented from lucid::Set.

◆ clone()

std::unique_ptr< Set > lucid::MultiSet::clone ( ) const

nodiscardoverridevirtual

Clone the set.

Create a new instance of the set with the same properties as the current one.

Returns: new instance of the set

Implements lucid::Set.

◆ dimension()

Dimension lucid::MultiSet::dimension ( ) const

inlinenodiscardoverridevirtual

Get read-only access to the dimension of the set \( \texttip{\mathcal{X}}{Polish sample vector space} \).

Returns: dimension of the set \( \texttip{\mathcal{X}}{Polish sample vector space} \)

Implements lucid::Set.

◆ general_lower_bound()

Vector lucid::MultiSet::general_lower_bound ( ) const

nodiscardoverridevirtual

Get read-only access to the lower bound of the smallest rectangular set including the whole set.

Returns: lower bound of the smallest rectangular set including the whole set

Reimplemented from lucid::Set.

◆ general_upper_bound()

Vector lucid::MultiSet::general_upper_bound ( ) const

nodiscardoverridevirtual

Get read-only access to the upper bound of the smallest rectangular set including the whole set.

Returns: upper bound of the smallest rectangular set including the whole set

Reimplemented from lucid::Set.

◆ increase_size_impl()

void lucid::MultiSet::increase_size_impl ( ConstVectorRef size_increase )

overrideprivatevirtual

Increase the size of the set.

The size increase can be different for each dimension. The increase is applied symmetrically around the center of the set such that the total size after the increase is equal to the original size plus size_increase.

Precondition: The set must support size changes.; The size of scale must be equal to the dimension of the set.; The new size must be non-negative in all dimensions.

Parameters

size_increase amount to increase the size of the set for each dimension

Reimplemented from lucid::Set.

◆ lattice() [1/2]

Matrix lucid::MultiSet::lattice	(	const VectorI &	points_per_dim,
		bool	endpoint ) const

nodiscardoverridevirtual

Todo: Improve the naive implementation that only concatenates the lattices from the internal sets (polytopes?)

Implements lucid::Set.

◆ lattice() [2/2]

Matrix lucid::Set::lattice	(	Index	points_per_dim,
		bool	endpoint = false ) const

nodiscard

Generate a lattice of points in the set.

Parameters

points_per_dim	number of points per each dimension
endpoint	whether to include the endpoints of the lattice

Returns: lattice of points in the set

◆ operator()()

bool lucid::MultiSet::operator() ( ConstVectorRef x ) const

nodiscardoverridevirtual

Check if a vector is in \( \texttip{\mathcal{X}}{Polish sample vector space} \).

Precondition: \( \texttip{x}{Element of the vector space} \) must have the same dimension as the set

Parameters

x	vector to test

Returns: true if \( \texttip{x}{Element of the vector space} \) is in the set; false if \( \texttip{x}{Element of the vector space} \) is not in the set

Implements lucid::Set.

◆ sample()

Matrix lucid::MultiSet::sample ( Index num_samples ) const

nodiscardoverridevirtual

Extract \( N \) elements from \( \texttip{\mathcal{X}}{Polish sample vector space} \) using some kind of random distribution.

Note: The seed for the random number generator can be set using random::seed.

Precondition: num_samples must be greater than 0

Parameters

num_samples number of samples to generate \( N \)

Returns: \( \texttip{n}{Number of samples} \times \texttip{d}{Dimension of the vector space} \) matrix of samples, where \( \texttip{d}{Dimension of the vector space} \) is the dimension of \( \texttip{\mathcal{X}}{Polish sample vector space} \). In other words, the samples are stored as rows vectors in the matrix

Implements lucid::Set.

◆ scale_wrapped_impl()

std::unique_ptr< Set > lucid::MultiSet::scale_wrapped_impl	(	ConstVectorRef	scale,
		const RectSet &	bounds,
		bool	relative_to_bounds ) const

nodiscardoverrideprivatevirtual

Scale the rectangular set by the given factor while keeping it inside the given bounds.

If any dimension exceeds the bounds after scaling, it is wrapped around to the other side, as another rectangular set. The scaling is performed with respect to the center of the rectangular set. The scaling factor can be computed relative to either

the current size of the rectangular set;

the size of the bounding rectangular set.

Parameters

scale	scaling factor
bounds	bounding rectangular set
relative_to_bounds	if true, the scaling factor is computed relative to the size of the bounding rectangular set; if false, the scaling factor is computed relative to the current size of the rectangular

Returns: new scaled rectangular set

Reimplemented from lucid::Set.

◆ sets()

const std::vector< std::unique_ptr< Set > > & lucid::MultiSet::sets ( ) const

inlinenodiscard

Get read-only access to the sets of the multi set.

Returns: sets of the multi set

◆ to_anisotropic()

std::unique_ptr< Set > lucid::MultiSet::to_anisotropic ( ) const

nodiscardoverridevirtual

Create a new anisotropic set.

The set should remain the same, but it will allow for different scaling factors in each dimension. If the set is already anisotropic, it should return a clone of itself.

Returns: unique pointer to the new anisotropic set

Reimplemented from lucid::Set.

◆ to_rect_set()

std::unique_ptr< Set > lucid::MultiSet::to_rect_set ( ) const

nodiscardoverridevirtual

Convert the set to a rectangular set.

Not all sets can be converted to rectangular sets. If the set cannot be converted, an exception is thrown.

Returns: unique pointer to the rectangular set

Reimplemented from lucid::Set.

◆ to_string()

std::string lucid::MultiSet::to_string ( ) const

nodiscardoverridevirtual

Obtain the string representation of this object.

Returns: string representation of this object

Reimplemented from lucid::Set.

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

lucid/model/MultiSet.h
lucid/model/MultiSet.cpp

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Member Function Documentation

◆ change_size()

◆ clone()

◆ dimension()

◆ general_lower_bound()

◆ general_upper_bound()

◆ increase_size_impl()

◆ lattice() [1/2]

◆ lattice() [2/2]

◆ operator()()

◆ sample()

◆ scale_wrapped_impl()

◆ sets()

◆ to_anisotropic()

◆ to_rect_set()

◆ to_string()