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

Or

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

Creates an Or operator with the given disjuncts.

Parameters

firstOperand

The first disjunct.

secondOperand

The second disjunct.