Module Make :: PrefixConstruction
Predicates for constructing a prefix string that leads to a given state.
Import path
import codeql.regex.nfa.NfaUtils
Predicates
prefix |
Gets a string for which the regular expression will reach |
prefixLength |
Gets the minimum number of transitions it takes to reach |
Classes
RelevantState |
A state within a regular expression that contains a candidate state. |
Parameters
isCandidate | isCandidateSig |