Uses of Class
org.tweetyproject.logics.commons.syntax.Variable

Packages that use Variable

Package	Description
org.tweetyproject.action.grounding
org.tweetyproject.action.grounding.parser
org.tweetyproject.action.query.syntax
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.delp.syntax
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.fol.parser
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.lp.nlp.syntax

Uses of Variable in org.tweetyproject.action.grounding

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.action.grounding.parser

Method parameters in org.tweetyproject.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 org.tweetyproject.action.query.syntax

Methods in org.tweetyproject.action.query.syntax that return types with arguments of type Variable

Modifier and Type	Method	Description
java.util.Set<Variable>	SActionQuery.getInnerVariables()
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()

Uses of Variable in org.tweetyproject.arg.aba.syntax

Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type Variable

Modifier and Type	Method	Description
java.util.Set<java.util.Map<Variable,Term<?>>>	AbaElement.allSubstitutions(java.util.Collection<? extends Term<?>> terms)	Computes all possible substitutions, i.e.
java.util.Set<Variable>	AbaElement.getUnboundVariables()

Uses of Variable in org.tweetyproject.arg.aspic.syntax

Methods in org.tweetyproject.arg.aspic.syntax that return types with arguments of type Variable

Modifier and Type	Method	Description
java.util.Set<java.util.Map<Variable,Term<?>>>	InferenceRule.allSubstitutions(java.util.Collection<? extends Term<?>> terms)	Computes all possible substitutions, i.e.
java.util.Set<Variable>	InferenceRule.getUnboundVariables()

Uses of Variable in org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.commons.syntax

Methods in org.tweetyproject.logics.commons.syntax that return Variable

Modifier and Type	Method	Description
Variable	Variable.clone()

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.commons.syntax with type arguments of type Variable

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

Uses of Variable in org.tweetyproject.logics.commons.syntax.interfaces

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.fol.parser

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.ml.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.mln.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.rcl.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.rdl.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.nlp.syntax

Methods in org.tweetyproject.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 org.tweetyproject.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)