-
- Downloads
Merge branch 'conversions'
Destruction of everything. Merged following from conversions: - derivations and integrals - conversions FA-RE and FA-RG
No related branches found
No related tags found
Showing
- aconversions/.cproject 147 additions, 0 deletionsaconversions/.cproject
- aconversions/.project 27 additions, 0 deletionsaconversions/.project
- aconversions/.settings/org.eclipse.cdt.codan.core.prefs 67 additions, 0 deletionsaconversions/.settings/org.eclipse.cdt.codan.core.prefs
- aconversions/makefile 20 additions, 0 deletionsaconversions/makefile
- aconversions/src/abstract/Conversion.cpp 18 additions, 0 deletionsaconversions/src/abstract/Conversion.cpp
- aconversions/src/abstract/Conversion.h 22 additions, 0 deletionsaconversions/src/abstract/Conversion.h
- aconversions/src/aconversion/ConversionHandler.cpp 227 additions, 0 deletionsaconversions/src/aconversion/ConversionHandler.cpp
- aconversions/src/aconversion/ConversionHandler.h 90 additions, 0 deletionsaconversions/src/aconversion/ConversionHandler.h
- aconversions/src/aconversion/aconversion.cpp 113 additions, 0 deletionsaconversions/src/aconversion/aconversion.cpp
- aconversions/src/fa2re/AbstractFAtoREConverter.cpp 19 additions, 0 deletionsaconversions/src/fa2re/AbstractFAtoREConverter.cpp
- aconversions/src/fa2re/AbstractFAtoREConverter.h 29 additions, 0 deletionsaconversions/src/fa2re/AbstractFAtoREConverter.h
- aconversions/src/fa2re/BrzozowskiAlgebraic.cpp 177 additions, 0 deletionsaconversions/src/fa2re/BrzozowskiAlgebraic.cpp
- aconversions/src/fa2re/BrzozowskiAlgebraic.h 68 additions, 0 deletionsaconversions/src/fa2re/BrzozowskiAlgebraic.h
- aconversions/src/fa2re/StateElimination.cpp 214 additions, 0 deletionsaconversions/src/fa2re/StateElimination.cpp
- aconversions/src/fa2re/StateElimination.h 68 additions, 0 deletionsaconversions/src/fa2re/StateElimination.h
- aconversions/src/fa2rg/AbstractFAtoRGConverter.cpp 35 additions, 0 deletionsaconversions/src/fa2rg/AbstractFAtoRGConverter.cpp
- aconversions/src/fa2rg/AbstractFAtoRGConverter.h 34 additions, 0 deletionsaconversions/src/fa2rg/AbstractFAtoRGConverter.h
- aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.cpp 20 additions, 0 deletionsaconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.cpp
- aconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.h 28 additions, 0 deletionsaconversions/src/fa2rg/fa2lrg/AbstractFAtoLRGConverter.h
- aconversions/src/fa2rg/fa2lrg/FAtoLRGConverter.cpp 77 additions, 0 deletionsaconversions/src/fa2rg/fa2lrg/FAtoLRGConverter.cpp
Loading
Please register or sign in to comment