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 Constructor Description ExistsQuantifiedFormula(ExistsQuantifiedFormula other)
Create a new existential boolean quantification.
-