Disjunction

data class Disjunction(val capturingId: Int, val branches: List<List<K3SearchInstr>>, val isDeterministic: Boolean = false, val quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne()) : K3SearchInstrGroup(source)

Constructors

Link copied to clipboard
constructor(capturingId: Int, branches: List<List<K3SearchInstr>>, isDeterministic: Boolean = false, quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne())

Properties

Link copied to clipboard
Link copied to clipboard
open override val capturingId: Int
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open fun isCapturing(): Boolean
Link copied to clipboard
Link copied to clipboard
open override fun maxAtomCount(): Int
Link copied to clipboard
open override fun minAtomCount(): Int
Link copied to clipboard
open override fun withQuantifier(newQuantifier: K3SearchInstrQuantifier): K3SearchInstr