Settings

This page contains information about the member functions of Congruence that control various settings that influence the running of the congruence-based algorithms.

Functions
size_t	max_threads () const noexcept
	Get the current maximum number of threads.
Congruence &	max_threads (size_t val) noexcept
	Set the maximum number of threads.
size_t	number_of_runners () const noexcept
	Get the number of runners.

Function Documentation

max_threads() [1/2]

template<typename Word>

size_t max_threads ( ) const

inlinenodiscardnoexcept

This function returns the current maximum number of threads that a Congruence instance can use.

Returns

The maximum number of threads to use.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

max_threads() [2/2]

template<typename Word>

Congruence & max_threads ( size_t val )

inlinenoexcept

This function can be used to set the maximum number of threads that a Congruence instance can use.

Parameters

val	the number of threads.

Returns

A reference to this.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

number_of_runners()

template<typename Word>

size_t number_of_runners ( ) const

inlinenodiscardnoexcept

This function returns the number of distinct Runner instances that are contained in a Congruence object.

Returns

The number of runners.

Exceptions

This function is noexcept and is guaranteed never to throw.