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 ExistsQuantifiedFormulaExistsQuantifiedFormula. clone()ExistsQuantifiedFormulaExistsQuantifiedFormula. substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)Constructors in net.sf.tweety.logics.fol.syntax with parameters of type ExistsQuantifiedFormula Constructor Description ExistsQuantifiedFormula(ExistsQuantifiedFormula other)
-