Uses of Class
org.tweetyproject.logics.commons.syntax.Variable
Package
Description
-
Uses of Variable in org.tweetyproject.action.grounding
Modifier and TypeMethodDescriptionGroundingTools.getAllSubstitutions(Set<Variable> variables)
Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.GroundingTools.getAllSubstitutions(Set<Variable> variables, Set<Constant> constants)
Calculates all possible substitutions of variables for a given set of constantsModifier and TypeMethodDescriptionGroundingTools.getAllSubstitutions(Set<Variable> variables)
Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.GroundingTools.getAllSubstitutions(Set<Variable> variables, Set<Constant> constants)
Calculates all possible substitutions of variables for a given set of constantsboolean
This method checks if an assignment of constants to variables satisfies a given grounding condition.boolean
boolean
static boolean
GroundingTools.isValidGroundingApplication(Map<Variable,Constant> map, Set<GroundingRequirement> requirements)
Checks a grounding application for compliance with the grounding requirements.ModifierConstructorDescriptionVarConstNeqRequirement(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
Modifier and TypeMethodDescriptionGroundingRequirementsParser.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.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
Modifier and TypeMethodDescriptionSActionQuery.getInnerVariables()
AlwaysQuery.getVariables()
HoldsQuery.getVariables()
NecessarilyQuery.getVariables()
QueryProposition.getVariables()
-
Uses of Variable in org.tweetyproject.arg.aba.syntax
Modifier and TypeMethodDescriptionAbaElement.allSubstitutions(Collection<? extends Term<?>> terms)
Computes all possible substitutions, i.e.AbaElement.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.arg.aspic.syntax
Modifier and TypeMethodDescriptionInferenceRule.allSubstitutions(Collection<? extends Term<?>> terms)
Computes all possible substitutions, i.e.InferenceRule.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.arg.delp.syntax
Modifier and TypeMethodDescriptionDelpRule.getQuantifierVariables()
DelpRule.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.logics.commons.syntax
Modifier and TypeMethodDescriptionRelationalFormula.allSubstitutions(Collection<? extends Term<?>> terms)
Computes all possible substitutions, i.e.QuantifiedFormulaSupport.getQuantifierVariables()
Returns the variables of this quantified formula.QuantifiedFormulaSupport.getUnboundVariables()
Modifier and TypeMethodDescriptionboolean
boolean
QuantifiedFormulaSupport.isWellBound(Set<Variable> boundVariables)
void
QuantifiedFormulaSupport.setQuantifierVariables(Set<Variable> variables)
ModifierConstructorDescriptionCopy-Ctor: Creates a deep copy of the given Variable -
Uses of Variable in org.tweetyproject.logics.commons.syntax.interfaces
Modifier and TypeMethodDescriptionQuantifiedFormula.getQuantifierVariables()
QuantifiedFormula.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.logics.fol.parser
Modifier and TypeMethodDescriptionvoid
FolParser.setVariables(Map<String,Variable> variables)
sets variables -
Uses of Variable in org.tweetyproject.logics.fol.syntax
Modifier and TypeMethodDescriptionAssociativeFolFormula.getQuantifierVariables()
ExistsQuantifiedFormula.getQuantifierVariables()
returns all variablesFolFormula.getQuantifierVariables()
ForallQuantifiedFormula.getQuantifierVariables()
returns variablesAssociativeFolFormula.getUnboundVariables()
Equivalence.getUnboundVariables()
ExistsQuantifiedFormula.getUnboundVariables()
FolAtom.getUnboundVariables()
ForallQuantifiedFormula.getUnboundVariables()
Implication.getUnboundVariables()
Negation.getUnboundVariables()
SpecialFormula.getUnboundVariables()
LogicStructure.getVariables()
Modifier and TypeMethodDescriptionboolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
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 variablesvoid
ForallQuantifiedFormula.setQuantifierVariables(Set<Variable> variables)
sets vairablesModifierConstructorDescriptionExistsQuantifiedFormula(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.ModifierConstructorDescriptionExistsQuantifiedFormula(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
Modifier and TypeMethodDescriptionMlFormula.getQuantifierVariables()
MlFormula.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.logics.mln.syntax
Modifier and TypeMethodDescriptionMlnFormula.getQuantifierVariables()
MlnFormula.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.logics.rcl.syntax
Modifier and TypeMethodDescriptionRelationalConditional.getQuantifierVariables()
RelationalConditional.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.logics.rdl.syntax
Modifier and TypeMethodDescriptionDefaultRule.getQuantifierVariables()
DefaultRule.getUnboundVariables()
-
Uses of Variable in org.tweetyproject.lp.nlp.syntax