Uses of Class
net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
-
Packages that use ForallQuantifiedFormula Package Description net.sf.tweety.logics.qbf.syntax -
-
Uses of ForallQuantifiedFormula in net.sf.tweety.logics.qbf.syntax
Constructors in net.sf.tweety.logics.qbf.syntax with parameters of type ForallQuantifiedFormula Constructor Description ForallQuantifiedFormula(ForallQuantifiedFormula other)
Create a new existential boolean quantification.
-