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

Packages that use Variable

Package	Description
net.sf.tweety.action.grounding
net.sf.tweety.action.grounding.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.fol.writer
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.lp.nlp.syntax

Uses of Variable in net.sf.tweety.action.grounding

Fields in net.sf.tweety.action.grounding declared as Variable

Modifier and Type	Field	Description
private Variable	VarsNeqRequirement.first
private Variable	VarsNeqRequirement.second
private Variable	VarConstNeqRequirement.variable

Methods in net.sf.tweety.action.grounding that return types with arguments of type Variable

Modifier and Type	Method	Description
static java.util.Set<java.util.Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(java.util.Set<Variable> variables)	Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.
static java.util.Set<java.util.Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(java.util.Set<Variable> variables, java.util.Set<Constant> constants)	Calculates all possible substitutions of variables for a given set of constants

Method parameters in net.sf.tweety.action.grounding with type arguments of type Variable

Modifier and Type	Method	Description
static java.util.Set<java.util.Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(java.util.Set<Variable> variables)	Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.
static java.util.Set<java.util.Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(java.util.Set<Variable> variables, java.util.Set<Constant> constants)	Calculates all possible substitutions of variables for a given set of constants
boolean	GroundingRequirement.isValid(java.util.Map<Variable,Constant> assignment)	This method checks, if an assignment of constants to variables satisfies a given grounding condition.
boolean	VarConstNeqRequirement.isValid(java.util.Map<Variable,Constant> assignment)
boolean	VarsNeqRequirement.isValid(java.util.Map<Variable,Constant> assignment)
static boolean	GroundingTools.isValidGroundingApplication(java.util.Map<Variable,Constant> map, java.util.Set<GroundingRequirement> requirements)	Checks a grounding application for compliance with the grounding requirements.

Constructors in net.sf.tweety.action.grounding with parameters of type Variable

Constructor	Description
VarConstNeqRequirement(Variable variable, Constant constant)	Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.
VarsNeqRequirement(Variable first, Variable second)	Creates a new grounding requirement for the two given variables that are not allowed to be set to the same constant in one ground instance.

Uses of Variable in net.sf.tweety.action.grounding.parser

Method parameters in net.sf.tweety.action.grounding.parser with type arguments of type Variable

Modifier and Type	Method	Description
GroundingRequirement	GroundingRequirementsParser.parseRequirement(java.lang.String s, java.util.Set<Variable> variables)	Parses a string of the following form: (VARIABLENAME "<>" VARIABLENAME | VARIABLENAME "<>" CONSTANTNAME) where the constant CONSTANTNAME has to be of the same sort as the variable VARIABLENAME.
java.util.Set<GroundingRequirement>	GroundingRequirementsParser.parseRequirements(java.lang.String s, java.util.Set<Variable> variables)	Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*

Uses of Variable in net.sf.tweety.action.query.syntax

Methods in net.sf.tweety.action.query.syntax that return types with arguments of type Variable

Modifier and Type	Method	Description
java.util.Set<Variable>	SActionQuery.getInnerVariables()	Returns all inner variables, which occur in state formulas and actions in this action query.
java.util.Set<Variable>	AlwaysQuery.getVariables()
java.util.Set<Variable>	HoldsQuery.getVariables()
java.util.Set<Variable>	NecessarilyQuery.getVariables()
abstract java.util.Set<Variable>	QueryProposition.getVariables()	Returns all variables occuring in inner formulas and actions of this query proposition.

Method parameters in net.sf.tweety.action.query.syntax with type arguments of type Variable

Modifier and Type	Method	Description
protected SActionQuery	SActionQuery.substituteInnerFormulas(java.util.Map<Variable,Constant> map)	Returns a new action query in which all variables are mapped to constants with regard to the given map.
private static PlFormula	SActionQuery.substitutePropositions(java.util.Map<Variable,Constant> map, PlFormula formula)	Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map.

Uses of Variable in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return types with arguments of type Variable

Modifier and Type	Method	Description
java.util.Set<Variable>	DelpRule.getQuantifierVariables()
java.util.Set<Variable>	DelpRule.getUnboundVariables()

Method parameters in net.sf.tweety.arg.delp.syntax with type arguments of type Variable

Modifier and Type	Method	Description
boolean	DelpRule.isClosed(java.util.Set<Variable> boundVariables)
boolean	DelpRule.isWellBound(java.util.Set<Variable> boundVariables)

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

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

Modifier and Type	Field	Description
private java.util.Set<Variable>	QuantifiedFormulaSupport.quantifier_variables	The variables of this quantified folFormula.
private java.util.Set<Variable>	Sort.variables	The set of variables of this sort

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
java.util.Set<java.util.Map<Variable,Term<?>>>	RelationalFormula.allSubstitutions(java.util.Collection<? extends Term<?>> terms)	Computes all possible substitutions, i.e.
java.util.Set<Variable>	QuantifiedFormulaSupport.getQuantifierVariables()	Returns the variables of this quantified formula.
java.util.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(java.util.Set<Variable> boundVariables)
boolean	QuantifiedFormulaSupport.isWellBound(java.util.Set<Variable> boundVariables)
void	QuantifiedFormulaSupport.setQuantifierVariables(java.util.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, java.util.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
java.util.Set<Variable>	QuantifiedFormula.getQuantifierVariables()
java.util.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(java.util.Set<Variable> boundVariables)	Checks whether this formula is closed, i.e.
boolean	QuantifiedFormula.isWellBound(java.util.Set<Variable> boundVariables)	Checks whether this formula is well-bound, i.e.

Uses of Variable in net.sf.tweety.logics.fol.parser

Fields in net.sf.tweety.logics.fol.parser with type parameters of type Variable

Modifier and Type	Field	Description
private java.util.Map<java.lang.String,Variable>	FolParser.variables	Keeps track of variables defined.
private java.util.Map<java.lang.String,Variable>	TPTPParser.variables	Keeps track of variables defined.

Methods in net.sf.tweety.logics.fol.parser that return types with arguments of type Variable

Modifier and Type	Method	Description
java.util.Map<java.lang.String,Variable>	FolParser.getVariables()

Method parameters in net.sf.tweety.logics.fol.parser with type arguments of type Variable

Modifier and Type	Method	Description
void	FolParser.setVariables(java.util.Map<java.lang.String,Variable> variables)

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

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

Modifier and Type	Method	Description
java.util.Set<Variable>	AssociativeFolFormula.getQuantifierVariables()
java.util.Set<Variable>	ExistsQuantifiedFormula.getQuantifierVariables()
java.util.Set<Variable>	FolFormula.getQuantifierVariables()
java.util.Set<Variable>	ForallQuantifiedFormula.getQuantifierVariables()
java.util.Set<Variable>	AssociativeFolFormula.getUnboundVariables()
java.util.Set<Variable>	Equivalence.getUnboundVariables()
java.util.Set<Variable>	ExistsQuantifiedFormula.getUnboundVariables()
java.util.Set<Variable>	FolAtom.getUnboundVariables()
java.util.Set<Variable>	ForallQuantifiedFormula.getUnboundVariables()
java.util.Set<Variable>	Implication.getUnboundVariables()
java.util.Set<Variable>	Negation.getUnboundVariables()
java.util.Set<Variable>	SpecialFormula.getUnboundVariables()
abstract java.util.Set<Variable>	LogicStructure.getVariables()	Returns all variables that appear in this structure.

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

Modifier and Type	Method	Description
boolean	AssociativeFolFormula.isClosed(java.util.Set<Variable> boundVariables)
boolean	Equivalence.isClosed(java.util.Set<Variable> boundVariables)
boolean	ExistsQuantifiedFormula.isClosed(java.util.Set<Variable> boundVariables)
boolean	FolAtom.isClosed(java.util.Set<Variable> boundVariables)
boolean	ForallQuantifiedFormula.isClosed(java.util.Set<Variable> boundVariables)
boolean	Implication.isClosed(java.util.Set<Variable> boundVariables)
boolean	Negation.isClosed(java.util.Set<Variable> boundVariables)
boolean	SpecialFormula.isClosed(java.util.Set<Variable> boundVariables)
boolean	AssociativeFolFormula.isWellBound(java.util.Set<Variable> boundVariables)
boolean	Equivalence.isWellBound(java.util.Set<Variable> boundVariables)
boolean	ExistsQuantifiedFormula.isWellBound(java.util.Set<Variable> boundVariables)
boolean	FolAtom.isWellBound(java.util.Set<Variable> boundVariables)
boolean	ForallQuantifiedFormula.isWellBound(java.util.Set<Variable> boundVariables)
boolean	Implication.isWellBound(java.util.Set<Variable> boundVariables)
boolean	Negation.isWellBound(java.util.Set<Variable> boundVariables)
boolean	SpecialFormula.isWellBound(java.util.Set<Variable> boundVariables)
void	ExistsQuantifiedFormula.setQuantifierVariables(java.util.Set<Variable> variables)
void	ForallQuantifiedFormula.setQuantifierVariables(java.util.Set<Variable> variables)

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

Constructor	Description
ExistsQuantifiedFormula(RelationalFormula folFormula, Variable variable)	Creates a new quantified folFormula with the given folFormula and variable.
ForallQuantifiedFormula(RelationalFormula folFormula, Variable variable)	Creates a new quantified folFormula with the given folFormula and variable.

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

Constructor	Description
ExistsQuantifiedFormula(RelationalFormula folFormula, java.util.Set<Variable> variables)	Creates a new quantified folFormula with the given folFormula and variables.
ForallQuantifiedFormula(RelationalFormula folFormula, java.util.Set<Variable> variables)	Creates a new quantified folFormula with the given folFormula and variables.

Uses of Variable in net.sf.tweety.logics.fol.writer

Methods in net.sf.tweety.logics.fol.writer with parameters of type Variable

Modifier and Type	Method	Description
private java.lang.String	Prover9Writer.printVar(Variable v)	Crates a type check or type def for a variable
private java.lang.String	TPTPWriter.printVar(Variable v)	Crates a type check or type def for a variable

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

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

Modifier and Type	Method	Description
java.util.Set<Variable>	MlFormula.getQuantifierVariables()
java.util.Set<Variable>	MlFormula.getUnboundVariables()

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

Modifier and Type	Method	Description
boolean	MlFormula.isClosed(java.util.Set<Variable> boundVariables)
boolean	MlFormula.isWellBound(java.util.Set<Variable> boundVariables)

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

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

Modifier and Type	Method	Description
java.util.Set<Variable>	MlnFormula.getQuantifierVariables()
java.util.Set<Variable>	MlnFormula.getUnboundVariables()

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

Modifier and Type	Method	Description
boolean	MlnFormula.isClosed(java.util.Set<Variable> boundVariables)
boolean	MlnFormula.isWellBound(java.util.Set<Variable> boundVariables)

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

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

Modifier and Type	Method	Description
java.util.Set<Variable>	RelationalConditional.getQuantifierVariables()
java.util.Set<Variable>	RelationalConditional.getUnboundVariables()

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

Modifier and Type	Method	Description
boolean	RelationalConditional.isClosed(java.util.Set<Variable> boundVariables)
boolean	RelationalConditional.isWellBound(java.util.Set<Variable> boundVariables)

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

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

Modifier and Type	Method	Description
java.util.Set<Variable>	DefaultRule.getQuantifierVariables()
java.util.Set<Variable>	DefaultRule.getUnboundVariables()

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

Modifier and Type	Method	Description
boolean	DefaultRule.isClosed(java.util.Set<Variable> boundVariables)
boolean	DefaultRule.isWellBound(java.util.Set<Variable> boundVariables)

Uses of Variable in net.sf.tweety.lp.nlp.syntax

Methods in net.sf.tweety.lp.nlp.syntax that return types with arguments of type Variable

Modifier and Type	Method	Description
java.util.Set<Variable>	NLPNot.getUnboundVariables()

Method parameters in net.sf.tweety.lp.nlp.syntax with type arguments of type Variable

Modifier and Type	Method	Description
boolean	NLPNot.isClosed(java.util.Set<Variable> boundVariables)
boolean	NLPNot.isWellBound(java.util.Set<Variable> boundVariables)