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