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

convert → rte Relation

File in alib2algo/src/automaton/convertIncludes file in alib2algo/src/rte
ToRTEStateElimination.hsimplify / RTEOptimize.h