Uses of Class
net.sf.tweety.logics.fol.syntax.SpecialFormula
-
Packages that use SpecialFormula Package Description net.sf.tweety.logics.fol.syntax -
-
Uses of SpecialFormula in net.sf.tweety.logics.fol.syntax
Subclasses of SpecialFormula in net.sf.tweety.logics.fol.syntax Modifier and Type Class Description class
Contradiction
A contradictory formula.class
Tautology
A tautological formula.
-