The terminating exception handler for elipsis is not needed since if no handler
hits, we just run out of handlers and handling there is the same.

even though the count result casted to boolean is semantically the same, contains is more expressive

Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago

This reverts commit bc91e284.

Parser can't parse automata string inputs where a state containing a
pair is also a final state.

 NFA a b c d
 ><<(InitialStateLabel), 0> <a, 1> <b, 2> <c, 3> -
 <<a, 1> <a, 1> - - -
 <b, 2> - <b, 2> <c, 3> -
 <c, 3> - - - <d, 4>
 <<d, 4> - - - -

Jan Trávníček authored 3 years ago and Jan Trávníček committed 3 years ago

breaking change!

Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago

MP algorithm was always resetting the pattern index to 0 whereas it should be
reused. This revealed that Spos should also take into account node wildcards
otherwise the presumed not-necessary-to-be-parsed part of the pattern does not
have to be matching the pattern. Which caused the computation of what does not
need to be matched to underflow.

Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago

a step forward to remove any need for container extensions

While working on webui, I have noticed that exports from
automata-library contain for many algorithms documentation set to
string "Documentation not available.". I traced the problem back to this
project.

I do not think "Documentation not available" is itself a valid
documentation of an algorithm so I decided to replace the std::string
that is supposed to hold documentation of an overload with an
std::optional<std::string>. The semantics should now be clearer.

While working on a webui I noticed that some algos have documentation
set to "Documentation not avaiable" instead of available. That's a typo
with multiple occurrences throughout the project.

In some cases, one wants to use system TClap (for instance, when one has
patched tclap installed)

Fixes: 7c0adf3e
Bug: algorithms-library-toolkit/automata-library#214