Uses of Class
net.sf.tweety.logics.commons.syntax.Variable
-
-
-
Uses of Variable in net.sf.tweety.action.grounding
Fields in net.sf.tweety.action.grounding declared as Variable Modifier and Type Field Description private Variable
VarsNeqRequirement. first
private Variable
VarsNeqRequirement. second
private Variable
VarConstNeqRequirement. variable
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.Method parameters in net.sf.tweety.action.query.syntax with type arguments of type Variable Modifier and Type Method Description protected SActionQuery
SActionQuery. substituteInnerFormulas(java.util.Map<Variable,Constant> map)
Returns a new action query in which all variables are mapped to constants with regard to the given map.private static PlFormula
SActionQuery. substitutePropositions(java.util.Map<Variable,Constant> map, PlFormula formula)
Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map. -
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
Fields in net.sf.tweety.logics.commons.syntax with type parameters of type Variable Modifier and Type Field Description private java.util.Set<Variable>
QuantifiedFormulaSupport. quantifier_variables
The variables of this quantified folFormula.private java.util.Set<Variable>
Sort. variables
The set of variables of this sortMethods 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
Fields in net.sf.tweety.logics.fol.parser with type parameters of type Variable Modifier and Type Field Description private java.util.Map<java.lang.String,Variable>
FolParser. variables
Keeps track of variables defined.private java.util.Map<java.lang.String,Variable>
TPTPParser. variables
Keeps track of variables defined.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.fol.writer
Methods in net.sf.tweety.logics.fol.writer with parameters of type Variable Modifier and Type Method Description private java.lang.String
Prover9Writer. printVar(Variable v)
Crates a type check or type def for a variableprivate java.lang.String
TPTPWriter. printVar(Variable v)
Crates a type check or type def for a variable -
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)
-