use multimap in NFTA
Showing
- alib2algo/src/automaton/convert/ToPostfixPushdownAutomaton.h 3 additions, 5 deletionsalib2algo/src/automaton/convert/ToPostfixPushdownAutomaton.h
- alib2algo/src/automaton/determinize/DeterminizeNFTAPart.hxx 3 additions, 3 deletionsalib2algo/src/automaton/determinize/DeterminizeNFTAPart.hxx
- alib2algo/src/automaton/properties/ReachableStates.h 1 addition, 1 deletionalib2algo/src/automaton/properties/ReachableStates.h
- alib2algo/src/automaton/properties/UsefulStates.h 2 additions, 2 deletionsalib2algo/src/automaton/properties/UsefulStates.h
- alib2algo/src/automaton/run/Run.h 1 addition, 1 deletionalib2algo/src/automaton/run/Run.h
- alib2algo/src/automaton/simplify/Rename.h 1 addition, 2 deletionsalib2algo/src/automaton/simplify/Rename.h
- alib2algo/src/automaton/simplify/UnreachableStatesRemover.h 1 addition, 1 deletionalib2algo/src/automaton/simplify/UnreachableStatesRemover.h
- alib2algo/src/automaton/simplify/UselessStatesRemover.h 2 additions, 3 deletionsalib2algo/src/automaton/simplify/UselessStatesRemover.h
- alib2aux/src/convert/DotConverter.h 14 additions, 16 deletionsalib2aux/src/convert/DotConverter.h
- alib2aux/src/convert/TikZConverter.h 15 additions, 17 deletionsalib2aux/src/convert/TikZConverter.h
- alib2data/src/automaton/TA/DFTA.h 0 additions, 7 deletionsalib2data/src/automaton/TA/DFTA.h
- alib2data/src/automaton/TA/NFTA.h 40 additions, 78 deletionsalib2data/src/automaton/TA/NFTA.h
- alib2data/src/automaton/xml/TA/NFTA.h 5 additions, 7 deletionsalib2data/src/automaton/xml/TA/NFTA.h
Loading
Please register or sign in to comment