Uses of Class
org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
-
Packages that use ExistsQuantifiedFormula Package Description org.tweetyproject.logics.fol.syntax -
-
Uses of ExistsQuantifiedFormula in org.tweetyproject.logics.fol.syntax
Methods in org.tweetyproject.logics.fol.syntax that return ExistsQuantifiedFormula Modifier and Type Method Description ExistsQuantifiedFormula
ExistsQuantifiedFormula. clone()
ExistsQuantifiedFormula
ExistsQuantifiedFormula. substitute(Term<?> v, Term<?> t)
Constructors in org.tweetyproject.logics.fol.syntax with parameters of type ExistsQuantifiedFormula Constructor Description ExistsQuantifiedFormula(ExistsQuantifiedFormula other)
-