-
- Downloads
implement more efficient triming algo
Showing
- alib2algo/src/automaton/properties/ReachableStates.cpp 35 additions, 35 deletionsalib2algo/src/automaton/properties/ReachableStates.cpp
- alib2algo/src/automaton/properties/ReachableStates.h 8 additions, 8 deletionsalib2algo/src/automaton/properties/ReachableStates.h
- alib2algo/src/automaton/properties/UsefullStates.cpp 1 addition, 0 deletionsalib2algo/src/automaton/properties/UsefullStates.cpp
- alib2algo/src/automaton/simplify/UnreachableStatesRemover.cpp 4 additions, 4 deletions...2algo/src/automaton/simplify/UnreachableStatesRemover.cpp
- alib2elgo/src/automaton/properties/efficient/ReachableStates.cpp 185 additions, 0 deletions...go/src/automaton/properties/efficient/ReachableStates.cpp
- alib2elgo/src/automaton/properties/efficient/ReachableStates.h 62 additions, 0 deletions...elgo/src/automaton/properties/efficient/ReachableStates.h
- alib2elgo/src/automaton/properties/efficient/UsefullStates.cpp 165 additions, 0 deletions...elgo/src/automaton/properties/efficient/UsefullStates.cpp
- alib2elgo/src/automaton/properties/efficient/UsefullStates.h 62 additions, 0 deletionsalib2elgo/src/automaton/properties/efficient/UsefullStates.h
- alib2elgo/src/automaton/simplify/efficient/Trim.cpp 129 additions, 0 deletionsalib2elgo/src/automaton/simplify/efficient/Trim.cpp
- alib2elgo/src/automaton/simplify/efficient/Trim.h 60 additions, 0 deletionsalib2elgo/src/automaton/simplify/efficient/Trim.h
- alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.cpp 204 additions, 0 deletions...automaton/simplify/efficient/UnreachableStatesRemover.cpp
- alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h 60 additions, 0 deletions...c/automaton/simplify/efficient/UnreachableStatesRemover.h
- alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.cpp 213 additions, 0 deletions...src/automaton/simplify/efficient/UselessStatesRemover.cpp
- alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h 60 additions, 0 deletions...o/src/automaton/simplify/efficient/UselessStatesRemover.h
- alib2elgo/test-src/automaton/simplify/efficient/trimTest.cpp 37 additions, 0 deletionsalib2elgo/test-src/automaton/simplify/efficient/trimTest.cpp
- alib2elgo/test-src/automaton/simplify/efficient/trimTest.h 19 additions, 0 deletionsalib2elgo/test-src/automaton/simplify/efficient/trimTest.h
- atrim2/src/atrim.cpp 20 additions, 3 deletionsatrim2/src/atrim.cpp
- tests.aconversion.sh 1 addition, 1 deletiontests.aconversion.sh
Loading
Please register or sign in to comment