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

Packages that use Disjunctable

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

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

Classes in net.sf.tweety.logics.commons.syntax that implement Disjunctable

Modifier and Type	Class	Description
class	RelationalFormula	This is the abstract base class for relational formulas, i.e.

Methods in net.sf.tweety.logics.commons.syntax that return Disjunctable

Modifier and Type	Method	Description
abstract Disjunctable	RelationalFormula.combineWithAnd(Conjunctable f)

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

Modifier and Type	Method	Description
abstract Conjunctable	RelationalFormula.combineWithOr(Disjunctable f)

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	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	Description
SimpleLogicalFormula	Disjunctable.combineWithOr(Disjunctable f)