MatchMappedSet

data class MatchMappedSet(val setId: String, val set: List<K3String>, val capturingId: Int = -1, val quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne()) : K3SearchInstr(source)

Constructors

Link copied to clipboard
constructor(setId: String, set: List<K3String>, capturingId: Int = -1, quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne())

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

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