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

Packages that use Invertable

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

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

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

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

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

Subinterfaces of Invertable 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 that return Invertable

Modifier and Type	Method	Description
Invertable	Invertable.complement()