Validation

This page contains information relating to validating input to other functions for the FpSemigroupInterface class.

void libsemigroups::FpSemigroupInterface::validate_letter(char c) const

Validates a letter specified by a char.

Complexity

Constant.

Parameters

(None)

Parameters

c – the letter to validate.

Throws

LibsemigroupsException – if c does not belong to alphabet().

Returns

(None)

void libsemigroups::FpSemigroupInterface::validate_letter(letter_type c) const

Validates a letter specified by an integer.

Complexity

Constant.

Parameters

(None)

Parameters

c – the letter to validate.

Throws

LibsemigroupsException – if c is out of range.

Returns

(None)

inline void libsemigroups::FpSemigroupInterface::validate_word(std::string const &w) const

Validates a word given by a std::string.

Complexity

Linear in the length of w.

Parameters

(None)

Parameters

w – the word to validate.

Throws

LibsemigroupsException – if any character in w does not belong to alphabet().

Returns

(None)

inline void libsemigroups::FpSemigroupInterface::validate_word(word_type const &w) const

Validates a word given by a word_type.

Complexity

Linear in the length of w.

Parameters

(None)

Parameters

w – the word to validate.

Throws

LibsemigroupsException – if any index in w is out of range.

Returns

(None)