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.
-