apollo-backend/eu.yeger.apollo.shared.model.fol/Quantifier/Existential/Existential

Existential

constructor(variable: BoundVariable, operand: Formula)(source)

Creates an Existential quantifier with the given variable and operand.

Parameters

variable

The BoundVariable of this existential quantifier.

operand

The operand of this existential quantifier.