Uses of Class
org.tweetyproject.logics.commons.syntax.Variable
-
-
-
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 constantsMethod 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 constantsboolean
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 VariableConstructor 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)
-