K3SearchInstrGroup

Types

Link copied to clipboard
object Companion
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

Properties

Link copied to clipboard
abstract val capturingId: Int
Link copied to clipboard

Functions

Link copied to clipboard
open fun isCapturing(): Boolean
Link copied to clipboard
Link copied to clipboard
open fun maxAtomCount(): Int
Link copied to clipboard
open fun minAtomCount(): Int
Link copied to clipboard