Uses of Class
org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

Packages that use ExistsQuantifiedFormula

Package	Description
org.tweetyproject.logics.qbf.syntax

Uses of ExistsQuantifiedFormula in org.tweetyproject.logics.qbf.syntax

Constructors in org.tweetyproject.logics.qbf.syntax with parameters of type ExistsQuantifiedFormula

Modifier	Constructor	Description
	ExistsQuantifiedFormula(ExistsQuantifiedFormula other)	Create a new existential boolean quantification.