Package net.sf.tweety.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.