make<Bipartition>

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

See also

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

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

Function Documentation

make() [1/3]

template<typename Return, typename Container>

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

nodiscard

Template Parameters

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

Parameters

cont	either a vector providing a lookup for the blocks of the bipartition or a vector of vectors (or initializer list).

Exceptions

LibsemigroupsException	if the arguments do not describe a bipartition.
LibsemigroupsException	if the constructed bipartition is not valid.

make() [2/3]

template<typename Return>

enable_if_is_same< Return, Bipartition > make ( std::initializer_list< std::vector< int32_t > > 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() [3/3]

template<typename Return>

enable_if_is_same< Return, Bipartition > make ( std::initializer_list< uint32_t > const & cont )

nodiscard

Check the arguments, construct a Blocks object, and check it.

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.