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

relation → alib2abstraction Relation

File in alib2aux/src/relationIncludes file in alib2abstraction
InducedEquivalence.cppsrc / registration / AlgoRegistration.hpp
IsReflexive.cppsrc / registration / AlgoRegistration.hpp
IsSymmetric.cppsrc / registration / AlgoRegistration.hpp
IsTransitive.cppsrc / registration / AlgoRegistration.hpp
RelationComplement.cppsrc / registration / AlgoRegistration.hpp