Module Make::PrefixConstruction

Predicates for constructing a prefix string that leads to a given state.

Import path

import codeql.regex.nfa.NfaUtils

prefix	Gets a string for which the regular expression will reach `state`.
prefixLength	Gets the minimum number of transitions it takes to reach `state` from the `start` state.

A state within a regular expression that contains a candidate state.

isCandidate