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.