-
- Downloads
aconversions: Resolve issue #20.
- Make interfaces interfaces - remove member variables from them - Remove redundant interfaces - Remove redundant classes aka StateNonTerminalMap. This functionality can be achieved by simpler std::map - Ensure second call of convert() will not fail by creating everything on fly. Thompson is the only algorithm where output must be member variable to make things simple. C11 will hopefully resolve this. - Hexavigesimal for Brzozowski classes.
Showing
- aconversions/src/aconversion/ConversionHandler.cpp 4 additions, 4 deletionsaconversions/src/aconversion/ConversionHandler.cpp
- aconversions/src/fa2re/AbstractFAtoREConverter.cpp 0 additions, 5 deletionsaconversions/src/fa2re/AbstractFAtoREConverter.cpp
- aconversions/src/fa2re/AbstractFAtoREConverter.h 2 additions, 17 deletionsaconversions/src/fa2re/AbstractFAtoREConverter.h
- aconversions/src/fa2re/BrzozowskiAlgebraic.cpp 12 additions, 13 deletionsaconversions/src/fa2re/BrzozowskiAlgebraic.cpp
- aconversions/src/fa2re/BrzozowskiAlgebraic.h 4 additions, 6 deletionsaconversions/src/fa2re/BrzozowskiAlgebraic.h
- aconversions/src/fa2re/StateElimination.cpp 6 additions, 3 deletionsaconversions/src/fa2re/StateElimination.cpp
- aconversions/src/fa2re/StateElimination.h 5 additions, 0 deletionsaconversions/src/fa2re/StateElimination.h
- aconversions/src/fa2rg/AbstractFAtoRGConverter.cpp 0 additions, 6 deletionsaconversions/src/fa2rg/AbstractFAtoRGConverter.cpp
- aconversions/src/fa2rg/AbstractFAtoRGConverter.h 0 additions, 12 deletionsaconversions/src/fa2rg/AbstractFAtoRGConverter.h
- aconversions/src/fa2rg/StateNonterminalMap.cpp 0 additions, 45 deletionsaconversions/src/fa2rg/StateNonterminalMap.cpp
- aconversions/src/fa2rg/StateNonterminalMap.h 0 additions, 60 deletionsaconversions/src/fa2rg/StateNonterminalMap.h
- aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.cpp 0 additions, 9 deletionsaconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.cpp
- aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.h 1 addition, 12 deletionsaconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.h
- aconversions/src/fa2rg/fa2lrg/FAtoLRGConverter.cpp 32 additions, 22 deletionsaconversions/src/fa2rg/fa2lrg/FAtoLRGConverter.cpp
- aconversions/src/fa2rg/fa2lrg/FAtoLRGConverter.h 4 additions, 2 deletionsaconversions/src/fa2rg/fa2lrg/FAtoLRGConverter.h
- aconversions/src/fa2rg/fa2rrg/AbstractFAtoRRGConverter.cpp 0 additions, 8 deletionsaconversions/src/fa2rg/fa2rrg/AbstractFAtoRRGConverter.cpp
- aconversions/src/fa2rg/fa2rrg/AbstractFAtoRRGConverter.h 2 additions, 12 deletionsaconversions/src/fa2rg/fa2rrg/AbstractFAtoRRGConverter.h
- aconversions/src/fa2rg/fa2rrg/FAtoRRGConverter.cpp 34 additions, 25 deletionsaconversions/src/fa2rg/fa2rrg/FAtoRRGConverter.cpp
- aconversions/src/fa2rg/fa2rrg/FAtoRRGConverter.h 4 additions, 2 deletionsaconversions/src/fa2rg/fa2rrg/FAtoRRGConverter.h
- aconversions/src/re2fa/AbstractREtoFAConverter.cpp 0 additions, 5 deletionsaconversions/src/re2fa/AbstractREtoFAConverter.cpp
Loading
Please register or sign in to comment