K3SearchInstrGroup
Types
Link copied to clipboard
data class Disjunction(val capturingId: Int, val branches: List<List<K3SearchInstr>>, val isDeterministic: Boolean = false, val quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne()) : K3SearchInstrGroup
Link copied to clipboard
data class SingleBranch(val capturingId: Int, val instructions: List<K3SearchInstr>, val quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne()) : K3SearchInstrGroup