private LinkedHashSet < Formula > condenseOperandsOr ( final Collection < ? extends Formula > operands ) { final LinkedHashSet < Formula > ops = new LinkedHashSet <> ( ) ; this . cnfCheck = true ; for ( final Formula form : operands ) if ( form . type ( ) == OR ) { for ( final Formula f : ( ( NAryOperator ) form ) . operands ) { this . addFormulaOr ( ops , f ) ; if ( ! this . formulaAdditionResult [ 0 ] ) return null ; if ( ! this . formulaAdditionResult [ 1 ] ) this . cnfCheck = false ; } } else { this . addFormulaOr ( ops , form ) ; if ( ! this . formulaAdditionResult [ 0 ] ) return null ; if ( ! this . formulaAdditionResult [ 1 ] ) this . cnfCheck = false ; } return ops ; }
Returns a condensed array of operands for a given n - ary disjunction .