Uses of Class
org.tweetyproject.logics.fol.syntax.SpecialFormula

Packages that use SpecialFormula

Package	Description
org.tweetyproject.logics.fol.syntax

Uses of SpecialFormula in org.tweetyproject.logics.fol.syntax

Subclasses of SpecialFormula in org.tweetyproject.logics.fol.syntax

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