Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable

Packages that use Disjunctable

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

Uses of Disjunctable in net.sf.tweety.logics.commons.syntax.interfaces

Subinterfaces of Disjunctable in net.sf.tweety.logics.commons.syntax.interfaces

Modifier and Type	Interface and Description
interface	ClassicalFormula This interface models a classical formula, i.e.

Methods in net.sf.tweety.logics.commons.syntax.interfaces with parameters of type Disjunctable

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