Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages

automaton → alib2abstraction Relation

File in alib2algo_experimental/src/automatonIncludes file in alib2abstraction
MinimizeGenerator.cppsrc / registration / AlgoRegistration.hpp
RandomAutomatonFactory2.cppsrc / registration / AlgoRegistration.hpp
RandomAutomatonFactory3.cppsrc / registration / AlgoRegistration.hpp