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