ParametricDescription

abstract class ParametricDescription(w: Int, n: Int, minErrors: IntArray)

A ParametricDescription describes the structure of a Levenshtein DFA for some degree n.

There are four components of a parametric description, all parameterized on the length of the word w:

Constructors

constructor(w: Int, n: Int, minErrors: IntArray)

fun getPosition(absState: Int): Int

Returns the position in the input word for a given state. This is the minimal boundary for the state.

Returns true if the state in any Levenshtein DFA is an accept state (final state).

fun size(): Int

Return the number of states needed to compute a Levenshtein DFA

abstract fun transition(state: Int, position: Int, vector: Int): Int

Returns the state number for a transition from the given state, assuming position and characteristic vector vector