apollo-backend/eu.yeger.apollo.shared.model.fol/Operator/Binary/And/And

And

constructor(firstOperand: Formula, secondOperand: Formula)(source)

Creates an And operator with the given conjuncts.

Parameters

firstOperand

The first conjunct.

secondOperand

The second conjunct.