A module that describes a tree where each node has one or more associated characters, also known as a trie.
The root node has no associated character.
This module is a signature used in Concretizer
.
Import path
import codeql.regex.nfa.NfaUtils
Predicates
getChar |
Gets a char associated with |
getPrev |
Gets the previous node in the tree from |
isARelevantEnd |
Holds if |
Types
CharNode |
A node in the tree. |