SingleBranch

constructor(capturingId: Int, instructions: List<K3SearchInstr>, quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne())(source)