-
- Downloads
fix documentation of FinalState and InitialStates constraint
Showing
- alib2data/src/automaton/FSM/CompactNFA.h 2 additions, 2 deletionsalib2data/src/automaton/FSM/CompactNFA.h
- alib2data/src/automaton/FSM/DFA.h 2 additions, 2 deletionsalib2data/src/automaton/FSM/DFA.h
- alib2data/src/automaton/FSM/EpsilonNFA.h 2 additions, 2 deletionsalib2data/src/automaton/FSM/EpsilonNFA.h
- alib2data/src/automaton/FSM/ExtendedNFA.h 2 additions, 2 deletionsalib2data/src/automaton/FSM/ExtendedNFA.h
- alib2data/src/automaton/FSM/MultiInitialStateNFA.h 4 additions, 4 deletionsalib2data/src/automaton/FSM/MultiInitialStateNFA.h
- alib2data/src/automaton/FSM/NFA.h 2 additions, 2 deletionsalib2data/src/automaton/FSM/NFA.h
- alib2data/src/automaton/PDA/DPDA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/DPDA.h
- alib2data/src/automaton/PDA/InputDrivenDPDA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/InputDrivenDPDA.h
- alib2data/src/automaton/PDA/InputDrivenNPDA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/InputDrivenNPDA.h
- alib2data/src/automaton/PDA/NPDA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/NPDA.h
- alib2data/src/automaton/PDA/NPDTA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/NPDTA.h
- alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h 2 additions, 2 deletions...2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
- alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h 4 additions, 4 deletions...2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
- alib2data/src/automaton/PDA/SinglePopDPDA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/SinglePopDPDA.h
- alib2data/src/automaton/PDA/SinglePopNPDA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/SinglePopNPDA.h
- alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h 2 additions, 2 deletionsalib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
- alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h 4 additions, 4 deletionsalib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
Loading
Please register or sign in to comment