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 and Description
ExistsQuantifiedFormula	ExistsQuantifiedFormula.clone()
ExistsQuantifiedFormula	ExistsQuantifiedFormula.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 and Description
ExistsQuantifiedFormula(ExistsQuantifiedFormula other)