Uses of Class
net.sf.tweety.logics.pl.syntax.SpecialFormula

Packages that use SpecialFormula

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

Uses of SpecialFormula in net.sf.tweety.logics.pl.syntax

Subclasses of SpecialFormula in net.sf.tweety.logics.pl.syntax

Modifier and Type	Class	Description
class	Contradiction	A contradictory formula.
class	Tautology	A tautological formula.