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

simplify → alib2abstraction Relation

File in alib2algo/src/automaton/simplifyIncludes file in alib2abstraction
EpsilonRemoverIncoming.cppsrc / registration / AlgoRegistration.hpp
EpsilonRemoverOutgoing.cppsrc / registration / AlgoRegistration.hpp
Minimize.cppsrc / registration / AlgoRegistration.hpp
MinimizeBrzozowski.cppsrc / registration / AlgoRegistration.hpp
MinimizeByPartitioning.cppsrc / registration / AlgoRegistration.hpp
MinimizeVerbose.cppsrc / registration / AlgoRegistration.hpp
Normalize.cppsrc / registration / AlgoRegistration.hpp
RemoveUnused.cppsrc / registration / AlgoRegistration.hpp
Rename.cppsrc / registration / AlgoRegistration.hpp
SingleInitialState.cppsrc / registration / AlgoRegistration.hpp
SingleInitialStateEpsilonTransition.cppsrc / registration / AlgoRegistration.hpp
ToArcFactored.cppsrc / registration / AlgoRegistration.hpp
Total.cppsrc / registration / AlgoRegistration.hpp
Trim.cppsrc / registration / AlgoRegistration.hpp
UnreachableStatesRemover.cppsrc / registration / AlgoRegistration.hpp
UselessStatesRemover.cppsrc / registration / AlgoRegistration.hpp