Uses of Class
net.sf.tweety.logics.commons.syntax.Variable

Packages that use Variable

Package	Description
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces

Uses of Variable in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Variable

Modifier and Type	Method	Description
Variable	Variable.clone()

Methods in net.sf.tweety.logics.commons.syntax that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Map<Variable,Term<?>>>	RelationalFormula.allSubstitutions(Collection<? extends Term<?>> terms)	Computes all possible substitutions, i.e.
Set<Variable>	QuantifiedFormulaSupport.getQuantifierVariables()	Returns the variables of this quantified formula.
Set<Variable>	QuantifiedFormulaSupport.getUnboundVariables()

Method parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Variable

Modifier and Type	Method	Description
boolean	QuantifiedFormulaSupport.isClosed(Set<Variable> boundVariables)
boolean	QuantifiedFormulaSupport.isWellBound(Set<Variable> boundVariables)
void	QuantifiedFormulaSupport.setQuantifierVariables(Set<Variable> variables)

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type Variable

Constructor	Description
Variable(Variable other)	Copy-Ctor: Creates a deep copy of the given Variable

Constructor parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Variable

Constructor	Description
QuantifiedFormulaSupport(T formula, Set<Variable> variables)

Uses of Variable in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Variable>	QuantifiedFormula.getQuantifierVariables()
Set<Variable>	QuantifiedFormula.getUnboundVariables()

Method parameters in net.sf.tweety.logics.commons.syntax.interfaces with type arguments of type Variable

Modifier and Type	Method	Description
boolean	QuantifiedFormula.isClosed(Set<Variable> boundVariables)	Checks whether this formula is closed, i.e.
boolean	QuantifiedFormula.isWellBound(Set<Variable> boundVariables)	Checks whether this formula is well-bound, i.e.