net.sf.tweety.logics.commons.syntax.interfaces

Interface Disjunctable

All Superinterfaces:

net.sf.tweety.commons.Formula, SimpleLogicalFormula

All Known Subinterfaces:

ClassicalFormula

public interface Disjunctable
extends SimpleLogicalFormula

Formulas implementing this interface can be connected using OR.

Author:

Tim Janus

Method Summary

Modifier and Type	Method and Description
SimpleLogicalFormula	combineWithOr(Disjunctable f)

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

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.