Uses of Class
net.sf.tweety.logics.commons.syntax.Variable
-
-
-
Uses of Variable in net.sf.tweety.action.grounding
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 constantsMethod 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 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 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. -
Uses of Variable in net.sf.tweety.arg.aba.syntax
Methods in net.sf.tweety.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 net.sf.tweety.arg.aspic.syntax
Methods in net.sf.tweety.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 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
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 VariableConstructor 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
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.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)
-