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

properties → alib2data Relation

File in alib2algo/src/arbology/propertiesIncludes file in alib2data
ExactSubtreeRepeatsFromSubtreeAutomaton.hsrc / tree / ranked / PrefixRankedTree.h
ExactSubtreeRepeatsFromSubtreeAutomaton.hsrc / common / ranked_symbol.hpp