make<Blocks>

This page contains documentation related to safely constructing a Blocks instance.

See also

The `make` function for an overview of possible uses of the make function.

Functions
template<typename Return, typename Container>
enable_if_is_same< Return, Blocks >	make (Container const &cont)
	Check the arguments, construct a Blocks object, and check it.
template<typename Return>
enable_if_is_same< Return, Blocks >	make (std::initializer_list< std::vector< int32_t > > const &cont)
	Check the arguments, construct a Blocks object, and check it.

Function Documentation

make() [1/2]

template<typename Return, typename Container>

enable_if_is_same< Return, Blocks > make ( Container const & cont )

nodiscard

Template Parameters

Container	the type of the parameter cont.
Return	the return type. Must satisfy std::is_same<Return, Blocks>.

Parameters

cont	container containing a lookup for the blocks.

Exceptions

LibsemigroupsException	if the arguments do not describe a signed partition.
LibsemigroupsException	if the constructed Blocks object is not valid.

make() [2/2]

template<typename Return>

enable_if_is_same< Return, Blocks > make ( std::initializer_list< std::vector< int32_t > > const & cont )

nodiscard

Template Parameters

Return

the return type. Must satisfy std::is_same<Return, Blocks>.

Parameters

cont	container containing a lookup for the blocks.

Exceptions

LibsemigroupsException	if the arguments do not describe a signed partition.
LibsemigroupsException	if the constructed Blocks object is not valid.