Package org.tweetyproject.logics.qbf.syntax

package org.tweetyproject.logics.qbf.syntax

Classes

Class	Description
ExistsQuantifiedFormula	This class represents existential quantification for boolean formulas.
ForallQuantifiedFormula	This class represents universal quantification for boolean formulas.