Uses of Class
org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

Packages that use ForallQuantifiedFormula

Package	Description
org.tweetyproject.logics.fol.syntax

Uses of ForallQuantifiedFormula in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return ForallQuantifiedFormula

Modifier and Type	Method	Description
ForallQuantifiedFormula	ForallQuantifiedFormula.clone()
ForallQuantifiedFormula	ForallQuantifiedFormula.substitute(Term<?> v, Term<?> t)

Constructors in org.tweetyproject.logics.fol.syntax with parameters of type ForallQuantifiedFormula

Modifier	Constructor	Description
	ForallQuantifiedFormula(ForallQuantifiedFormula other)	Creates a new quantified folFormula