Uses of Class
net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofVariable

Packages that use TptpFofVariable

Package	Description
net.sf.tweety.logics.fol.syntax.tptp.fof

Uses of TptpFofVariable in net.sf.tweety.logics.fol.syntax.tptp.fof

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof that return types with arguments of type TptpFofVariable

Modifier and Type	Method and Description
Set<TptpFofVariable>	TptpFofQuantifiedFormula.getVariables()
Set<TptpFofVariable>	TptpFofForallQuantifiedFormula.getVariables()
Set<TptpFofVariable>	TptpFofExistsQuantifiedFormula.getVariables()

Constructor parameters in net.sf.tweety.logics.fol.syntax.tptp.fof with type arguments of type TptpFofVariable

Constructor and Description
TptpFofExistsQuantifiedFormula(Set<TptpFofVariable> variables, TptpFofFormula formula) Constructor
TptpFofForallQuantifiedFormula(Set<TptpFofVariable> variables, TptpFofFormula formula) Constructor
TptpFofQuantifiedFormula(Set<TptpFofVariable> variables, TptpFofFormula formula)
TptpFofSort(String name, Set<TptpFofConstant> constants, Set<TptpFofVariable> variables)