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)