Package org.tweetyproject.logics.qbf.syntax
-
Class Summary Class Description ExistsQuantifiedFormula This class represents existential quantification for boolean formulas.ForallQuantifiedFormula This class represents universal quantification for boolean formulas.