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())