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

properties → alib2abstraction Relation

File in alib2elgo/src/automaton/propertiesIncludes file in alib2abstraction
efficient / AllEpsilonClosure.cppsrc / registration / AlgoRegistration.hpp
efficient / ReachableStates.cppsrc / registration / AlgoRegistration.hpp
efficient / UsefulStates.cppsrc / registration / AlgoRegistration.hpp