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

Packages that use ClassicalFormula

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

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

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

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