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)