MatchAtom

data class MatchAtom(val atom: K3StringAtom, val quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne()) : K3SearchInstr(source)

Constructors

Link copied to clipboard
constructor(atom: K3StringAtom, quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne())

Properties

Link copied to clipboard
Link copied to clipboard

Functions

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