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

simplify → alib2data Relation

File in alib2algo/src/automaton/simplifyIncludes file in alib2data
EpsilonRemoverIncoming.hsrc / automaton / FSM / DFA.h
EpsilonRemoverIncoming.hsrc / automaton / FSM / EpsilonNFA.h
EpsilonRemoverIncoming.hsrc / automaton / FSM / MultiInitialStateNFA.h
EpsilonRemoverIncoming.hsrc / automaton / FSM / NFA.h
EpsilonRemoverOutgoing.hsrc / automaton / FSM / DFA.h
EpsilonRemoverOutgoing.hsrc / automaton / FSM / EpsilonNFA.h
EpsilonRemoverOutgoing.hsrc / automaton / FSM / MultiInitialStateNFA.h
EpsilonRemoverOutgoing.hsrc / automaton / FSM / NFA.h
Minimize.hsrc / automaton / FSM / DFA.h
Minimize.hsrc / automaton / TA / DFTA.h
MinimizeBrzozowski.hsrc / automaton / FSM / DFA.h
MinimizeBrzozowski.hsrc / automaton / FSM / MultiInitialStateNFA.h
MinimizeBrzozowski.hsrc / automaton / FSM / NFA.h
MinimizeByPartitioning.hsrc / automaton / FSM / DFA.h
MinimizeByPartitioning.hsrc / automaton / TA / DFTA.h
MinimizeByPartitioning.hsrc / automaton / FSM / NFA.h
MinimizeByPartitioning.hsrc / automaton / TA / NFTA.h
MinimizeByPartitioning.hsrc / automaton / TA / UnorderedDFTA.h
MinimizeByPartitioning.hsrc / automaton / TA / UnorderedNFTA.h
MinimizeVerbose.hsrc / automaton / FSM / DFA.h
MinimizeVerbose.hsrc / automaton / TA / DFTA.h
Normalize.hsrc / automaton / FSM / CompactDFA.h
Normalize.hsrc / automaton / FSM / DFA.h
Normalize.hsrc / automaton / TA / DFTA.h
Normalize.hsrc / automaton / PDA / DPDA.h
Normalize.hsrc / automaton / PDA / RealTimeHeightDeterministicDPDA.h
RemoveUnused.hsrc / automaton / PDA / RealTimeHeightDeterministicDPDA.h
Rename.hsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
Rename.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
Rename.hsrc / automaton / FSM / DFA.h
Rename.hsrc / automaton / TA / DFTA.h
Rename.hsrc / automaton / PDA / DPDA.h
Rename.hsrc / automaton / FSM / EpsilonNFA.h
Rename.hsrc / automaton / PDA / InputDrivenDPDA.h
Rename.hsrc / automaton / FSM / NFA.h
Rename.hsrc / automaton / TA / NFTA.h
Rename.hsrc / automaton / PDA / NPDA.h
Rename.hsrc / automaton / PDA / RealTimeHeightDeterministicDPDA.h
Rename.hsrc / automaton / PDA / SinglePopDPDA.h
Rename.hsrc / automaton / PDA / VisiblyPushdownDPDA.h
SingleInitialState.hsrc / automaton / FSM / CompactNFA.h
SingleInitialState.hsrc / automaton / FSM / DFA.h
SingleInitialState.hsrc / automaton / FSM / EpsilonNFA.h
SingleInitialState.hsrc / automaton / FSM / ExtendedNFA.h
SingleInitialState.hsrc / label / InitialStateLabel.h
SingleInitialState.hsrc / automaton / FSM / MultiInitialStateEpsilonNFA.h
SingleInitialState.hsrc / automaton / FSM / MultiInitialStateNFA.h
SingleInitialState.hsrc / automaton / FSM / NFA.h
SingleInitialStateEpsilonTransition.hsrc / automaton / FSM / CompactNFA.h
SingleInitialStateEpsilonTransition.hsrc / automaton / FSM / DFA.h
SingleInitialStateEpsilonTransition.hsrc / automaton / FSM / EpsilonNFA.h
SingleInitialStateEpsilonTransition.hsrc / automaton / FSM / ExtendedNFA.h
SingleInitialStateEpsilonTransition.hsrc / label / InitialStateLabel.h
SingleInitialStateEpsilonTransition.hsrc / automaton / FSM / MultiInitialStateEpsilonNFA.h
SingleInitialStateEpsilonTransition.hsrc / automaton / FSM / MultiInitialStateNFA.h
SingleInitialStateEpsilonTransition.hsrc / automaton / FSM / NFA.h
ToArcFactored.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
ToArcFactored.hsrc / automaton / TA / NondeterministicZAutomaton.h
ToArcFactored.hsrc / alphabet / StartSymbol.h
Total.hsrc / automaton / FSM / DFA.h
Total.hsrc / automaton / TA / DFTA.h
Total.hsrc / label / FailStateLabel.h
Total.hsrc / automaton / FSM / NFA.h
Total.hsrc / automaton / TA / NFTA.h
Trim.cppsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
Trim.cppsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
Trim.cppsrc / automaton / FSM / CompactNFA.h
Trim.cppsrc / automaton / FSM / DFA.h
Trim.cppsrc / automaton / TA / DFTA.h
Trim.cppsrc / automaton / FSM / EpsilonNFA.h
Trim.cppsrc / automaton / FSM / ExtendedNFA.h
Trim.cppsrc / automaton / FSM / NFA.h
UnreachableStatesRemover.hsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
UnreachableStatesRemover.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
UnreachableStatesRemover.hsrc / automaton / FSM / CompactNFA.h
UnreachableStatesRemover.hsrc / automaton / FSM / DFA.h
UnreachableStatesRemover.hsrc / automaton / TA / DFTA.h
UnreachableStatesRemover.hsrc / automaton / FSM / EpsilonNFA.h
UnreachableStatesRemover.hsrc / automaton / FSM / ExtendedNFA.h
UnreachableStatesRemover.hsrc / automaton / FSM / MultiInitialStateNFA.h
UnreachableStatesRemover.hsrc / automaton / FSM / NFA.h
UselessStatesRemover.cppsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
UselessStatesRemover.hsrc / automaton / TA / ArcFactoredDeterministicZAutomaton.h
UselessStatesRemover.hsrc / automaton / TA / ArcFactoredNondeterministicZAutomaton.h
UselessStatesRemover.hsrc / automaton / FSM / CompactNFA.h
UselessStatesRemover.hsrc / automaton / FSM / DFA.h
UselessStatesRemover.hsrc / automaton / TA / DFTA.h
UselessStatesRemover.hsrc / automaton / FSM / EpsilonNFA.h
UselessStatesRemover.hsrc / automaton / FSM / ExtendedNFA.h
UselessStatesRemover.hsrc / automaton / FSM / MultiInitialStateNFA.h
UselessStatesRemover.hsrc / automaton / FSM / NFA.h