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 Set<Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(Set<Variable> variables)	Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.
static Set<Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(Set<Variable> variables, 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 Set<Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(Set<Variable> variables)	Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.
static Set<Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(Set<Variable> variables, Set<Constant> constants)	Calculates all possible substitutions of variables for a given set of constants
boolean	GroundingRequirement.isValid(Map<Variable,Constant> assignment)	This method checks if an assignment of constants to variables satisfies a given grounding condition.
boolean	VarConstNeqRequirement.isValid(Map<Variable,Constant> assignment)
boolean	VarsNeqRequirement.isValid(Map<Variable,Constant> assignment)
static boolean	GroundingTools.isValidGroundingApplication(Map<Variable,Constant> map, Set<GroundingRequirement> requirements)	Checks a grounding application for compliance with the grounding requirements.

Constructors in org.tweetyproject.action.grounding with parameters of type Variable

Modifier	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(String s, 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.
Set<GroundingRequirement>	GroundingRequirementsParser.parseRequirements(String s, 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
Set<Variable>	SActionQuery.getInnerVariables()	Retrieves all inner variables that occur in state formulas and actions within this action query.
Set<Variable>	AlwaysQuery.getVariables()
Set<Variable>	HoldsQuery.getVariables()
Set<Variable>	NecessarilyQuery.getVariables()
abstract Set<Variable>	QueryProposition.getVariables()	Returns all variables occurring in the inner formulas and actions of this query proposition.

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
Set<Map<Variable,Term<?>>>	AbaElement.allSubstitutions(Collection<? extends Term<?>> terms)	Computes all possible substitutions, i.e.
Set<Variable>	AbaElement.getUnboundVariables()	Return unbound variables

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
Set<Map<Variable,Term<?>>>	InferenceRule.allSubstitutions(Collection<? extends Term<?>> terms)	Computes all possible substitutions, i.e.
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
Set<Variable>	DelpRule.getQuantifierVariables()
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(Set<Variable> boundVariables)
boolean	DelpRule.isWellBound(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
Set<Map<Variable,Term<?>>>	RelationalFormula.allSubstitutions(Collection<? extends Term<?>> terms)	Computes all possible substitutions, i.e.
Set<Variable>	QuantifiedFormulaSupport.getQuantifierVariables()	Returns the set of variables that are quantified within this formula.
Set<Variable>	QuantifiedFormulaSupport.getUnboundVariables()	Returns the set of unbound variables in the inner formula, excluding the quantified variables.

Method parameters in org.tweetyproject.logics.commons.syntax with type arguments of type Variable

Modifier and Type	Method	Description
boolean	QuantifiedFormulaSupport.isClosed(Set<Variable> boundVariables)	Checks whether the formula is closed when considering an additional set of bound variables.
boolean	QuantifiedFormulaSupport.isWellBound(Set<Variable> boundVariables)	Checks whether the formula is well-bound when considering an additional set of bound variables.
void	QuantifiedFormulaSupport.setQuantifierVariables(Set<Variable> variables)	Sets the set of variables that are quantified within this formula.

Constructors in org.tweetyproject.logics.commons.syntax with parameters of type Variable

Modifier	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

Modifier	Constructor	Description
	QuantifiedFormulaSupport(T formula, Set<Variable> variables)	Constructs a new QuantifiedFormulaSupport instance with the specified formula and quantifier 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
Set<Variable>	QuantifiedFormula.getQuantifierVariables()
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(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.

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
Map<String,Variable>	FolParser.getVariables()	returns variables

Method parameters in org.tweetyproject.logics.fol.parser with type arguments of type Variable

Modifier and Type	Method	Description
void	FolParser.setVariables(Map<String,Variable> variables)	sets 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
Set<Variable>	AssociativeFolFormula.getQuantifierVariables()
Set<Variable>	ExistsQuantifiedFormula.getQuantifierVariables()	returns all variables
Set<Variable>	FolFormula.getQuantifierVariables()
Set<Variable>	ForallQuantifiedFormula.getQuantifierVariables()	returns variables
Set<Variable>	AssociativeFolFormula.getUnboundVariables()
Set<Variable>	Equivalence.getUnboundVariables()
Set<Variable>	ExistsQuantifiedFormula.getUnboundVariables()
Set<Variable>	FolAtom.getUnboundVariables()
Set<Variable>	ForallQuantifiedFormula.getUnboundVariables()
Set<Variable>	Implication.getUnboundVariables()
Set<Variable>	Negation.getUnboundVariables()
Set<Variable>	SpecialFormula.getUnboundVariables()
abstract Set<Variable>	LogicStructure.getVariables()	Return 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(Set<Variable> boundVariables)
boolean	Equivalence.isClosed(Set<Variable> boundVariables)
boolean	ExistsQuantifiedFormula.isClosed(Set<Variable> boundVariables)
boolean	FolAtom.isClosed(Set<Variable> boundVariables)
boolean	ForallQuantifiedFormula.isClosed(Set<Variable> boundVariables)
boolean	Implication.isClosed(Set<Variable> boundVariables)
boolean	Negation.isClosed(Set<Variable> boundVariables)
boolean	SpecialFormula.isClosed(Set<Variable> boundVariables)
boolean	AssociativeFolFormula.isWellBound(Set<Variable> boundVariables)
boolean	Equivalence.isWellBound(Set<Variable> boundVariables)
boolean	ExistsQuantifiedFormula.isWellBound(Set<Variable> boundVariables)
boolean	FolAtom.isWellBound(Set<Variable> boundVariables)
boolean	ForallQuantifiedFormula.isWellBound(Set<Variable> boundVariables)
boolean	Implication.isWellBound(Set<Variable> boundVariables)
boolean	Negation.isWellBound(Set<Variable> boundVariables)
boolean	SpecialFormula.isWellBound(Set<Variable> boundVariables)
void	ExistsQuantifiedFormula.setQuantifierVariables(Set<Variable> variables)	sets variables
void	ForallQuantifiedFormula.setQuantifierVariables(Set<Variable> variables)	sets vairables

Constructors in org.tweetyproject.logics.fol.syntax with parameters of type Variable

Modifier	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

Modifier	Constructor	Description
	ExistsQuantifiedFormula(RelationalFormula folFormula, Set<Variable> variables)	Creates a new quantified folFormula with the given folFormula and variables.
	ForallQuantifiedFormula(RelationalFormula folFormula, 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
Set<Variable>	MlFormula.getQuantifierVariables()
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(Set<Variable> boundVariables)
boolean	MlFormula.isWellBound(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
Set<Variable>	MlnFormula.getQuantifierVariables()
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(Set<Variable> boundVariables)
boolean	MlnFormula.isWellBound(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
Set<Variable>	RelationalConditional.getQuantifierVariables()
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(Set<Variable> boundVariables)
boolean	RelationalConditional.isWellBound(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
Set<Variable>	DefaultRule.getQuantifierVariables()
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(Set<Variable> boundVariables)
boolean	DefaultRule.isWellBound(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
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(Set<Variable> boundVariables)
boolean	NLPNot.isWellBound(Set<Variable> boundVariables)