Uses of Class
net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula

Packages that use ExistsQuantifiedFormula

Package	Description
net.sf.tweety.logics.qbf.syntax

Uses of ExistsQuantifiedFormula in net.sf.tweety.logics.qbf.syntax

Constructors in net.sf.tweety.logics.qbf.syntax with parameters of type ExistsQuantifiedFormula

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