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

Packages that use Conjuctable

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

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

Subinterfaces of Conjuctable 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 Conjuctable

Modifier and Type	Method and Description
SimpleLogicalFormula	Conjuctable.combineWithAnd(Conjuctable f) Returns a conjunction of this and the given formula.