Uses of Class
org.tweetyproject.logics.pl.syntax.SpecialFormula
-
Packages that use SpecialFormula Package Description org.tweetyproject.logics.pl.syntax -
-
Uses of SpecialFormula in org.tweetyproject.logics.pl.syntax
Subclasses of SpecialFormula in org.tweetyproject.logics.pl.syntax Modifier and Type Class Description class
Contradiction
A contradictory formula.class
Tautology
A tautological formula.
-