KFeel/ca.acendas.kfeel.parser/QuantifierNode

QuantifierNode

data class QuantifierNode(val isSome: Boolean, val iterators: List<Iterator>, val condition: ASTNode, val position: Position) : ASTNode

Quantifier expression (some/every).

Examples:

some x in 1, 2, 3 satisfies x > 2
every x in 2, 4, 6 satisfies x mod 2 = 0

Constructors

constructor(isSome: Boolean, iterators: List<Iterator>, condition: ASTNode, position: Position)

Properties

val condition: ASTNode

val isSome: Boolean

val iterators: List<Iterator>

open override val position: Position