Uses of Package
org.tweetyproject.logics.qbf.syntax
-
Packages that use org.tweetyproject.logics.qbf.syntax Package Description org.tweetyproject.logics.qbf.syntax -
Classes in org.tweetyproject.logics.qbf.syntax used by org.tweetyproject.logics.qbf.syntax Class Description ExistsQuantifiedFormula This class represents existential quantification for boolean formulas.ForallQuantifiedFormula This class represents universal quantification for boolean formulas.