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

Packages that use QuantifiedFormula

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

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

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

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