8#include <string/LinearString.h>
12namespace simulations {
16 template <
class SymbolType>
19 template <
class SymbolType>
24template <
class SymbolType>
32 for(
unsigned int j=1; j<=pattern.
getContent().size(); j++) {
33 table[j][0] = errors + 1;
37 for(
unsigned int j = 1; j<=pattern.
getContent().size(); j++) {
39 table[j][
i] = table[j-1][
i-1];
41 table[j][
i] = table[j-1][
i-1] + 1;
49template <
class SymbolType>
56 if (table[pattern.
getContent().size()][
i] <= errors) {
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
Linear string.
Definition: LinearString.h:57
const ext::vector< SymbolType > & getContent() const &
Definition: LinearString.h:238
Definition: HammingDynamicProgramming.h:14
static ext::set< unsigned int > search(const string::LinearString< SymbolType > &text, const string::LinearString< SymbolType > &pattern, unsigned int errors)
Definition: HammingDynamicProgramming.h:50
static ext::vector< ext::vector< unsigned int > > compute_table(const string::LinearString< SymbolType > &text, const string::LinearString< SymbolType > &pattern, unsigned int errors)
Definition: HammingDynamicProgramming.h:25
int i
Definition: AllEpsilonClosure.h:118
for(const StateType &state :fsm.getStates()) renamingData.insert(std Rename::RenamedAutomaton< T > result(renamingData.at(fsm.getInitialState()))
Definition: Rename.h:253
Definition: ArithmeticCompression.h:18