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

Universal

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

Creates an Universal quantifier with the given variable and operand.

Parameters

variable

The BoundVariable of this universal quantifier.

operand

The operand of this universal quantifier.