Disjunctable (Tweety (Commons Logic) 1.17 API)

All Superinterfaces:

net.sf.tweety.commons.Formula, SimpleLogicalFormula

All Known Subinterfaces:

ClassicalFormula

All Known Implementing Classes:

RelationalFormula
```
public interface Disjunctable
extends SimpleLogicalFormula
```
Formulas implementing this interface can be connected using OR.

Author:

Tim Janus

- Method Summary
  
  Modifier and Type Method Description
  
  SimpleLogicalFormula combineWithOr(Disjunctable f)
  - Methods inherited from interface net.sf.tweety.commons.Formula
    getSignature
  - Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral

- Method Detail
  - combineWithOr
```
SimpleLogicalFormula combineWithOr(Disjunctable f)
```
    Parameters:
    
    f - a formula to be combined with OR and this.
    
    Returns:
    
    a disjunction of this and the given formula.