Uses of Class
edu.cs.ai.kreator.logic.Variable

Packages that use Variable

edu.cs.ai.kreator.logic
edu.cs.ai.kreator.logic.metaconstraints
edu.cs.ai.kreator.parser.groundatom

Uses of Variable in edu.cs.ai.kreator.logic

Methods in edu.cs.ai.kreator.logic that return Variable

static Variable	Variable.create(VariableFactory varFac, java.lang.String name, Sort sort) Constructs a new variable with the given name and sort.
static Variable	Variable.createOrGet(VariableFactory varFac, java.lang.String name, Sort sort) Returns an already existing variable or, if necessary, constructs a new variable with the given name and sort.
static Variable	Variable.createUniqueVariable(VariableFactory varFac, Sort sort) Returns a new variable with a unique name of the given sort.
Variable	VariableFactory.getExistingVariable(java.lang.String varName) Return the variable with the given name if it exists, else return null
Variable	TweetyTranslator.toKreatorVariable(net.sf.tweety.logics.firstorderlogic.syntax.Variable variable, LanguageFactory language)
Variable	TweetyTranslator.toKreatorVariable(net.sf.tweety.logics.firstorderlogic.syntax.Variable var, LanguageFactory language, VariableFactory vfac)
Variable	LogicTranslator.toKreatorVariable(V variable, LanguageFactory language)

Methods in edu.cs.ai.kreator.logic that return types with arguments of type Variable

java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitutionWithAdditionalConstants(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Term>>	Literal.extendUnifier(java.util.Collection<? extends Literal> data, java.util.Map<Variable,Term> unifier) For the given unifier "u" thi method computes all extensions of "u" to a unifier "u2" such that "u2" transforms this literal into one given in data.
java.util.Map<Variable,Term>	StrictNegation.extendUnifier(Literal l, java.util.Map<Variable,Term> unifier)
abstract java.util.Map<Variable,Term>	Literal.extendUnifier(Literal l, java.util.Map<Variable,Term> unifier) Extends the given unifier "u" to a unifier "u2" such that "u2" transforms this literal into the one given.
java.util.Map<Variable,Term>	GeneralizedAtom.extendUnifier(Literal l, java.util.Map<Variable,Term> unifier)
java.util.Set<java.util.Map<Variable,Term>>	Literal.extendUnifiers(java.util.Collection<? extends Literal> data, java.util.Collection<java.util.Map<Variable,Term>> unifiers) For any unifier "u" in "unifiers" this method computes all extensions of "u" to a unifier "u2" such that "u2" transforms this literal into one given in data.
java.util.List<Variable>	VariableFactory.getAllVariables() Returns a list of all variables in this factory.
java.util.Map<Variable,Term>	Literal.getUnifier(Literal l) Computes the unifier that is needed in order to transform this literal into the given one or "null" if this is not possible.
java.util.Set<java.util.Map<Variable,Term>>	Literal.getUnifiers(java.util.Collection<? extends Literal> data) Computes the set of all possible unifiers yielding a transformation from this literal into one given in data.
java.util.Set<Variable>	StrictNegation.getVariables()
abstract java.util.Set<Variable>	Literal.getVariables() Returns the set of variables, that appear in this literal.
java.util.Set<Variable>	GeneralizedAtom.getVariables()

Methods in edu.cs.ai.kreator.logic with parameters of type Variable

boolean	VariableFactory.contains(Variable var) Checks if the given variables is contained in this factory.
net.sf.tweety.logics.firstorderlogic.syntax.Variable	TweetyTranslator.fromKreatorVariable(Variable variable, net.sf.tweety.logics.firstorderlogic.syntax.FolSignature language)
V	LogicTranslator.fromKreatorVariable(Variable variable, L language)

Method parameters in edu.cs.ai.kreator.logic with type arguments of type Variable

boolean	VariableFactory.containsAll(java.util.Collection<Variable> objects) Checks if all elements of the given list are contained in this language.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitutionWithAdditionalConstants(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitutionWithAdditionalConstants(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Term>>	Literal.extendUnifier(java.util.Collection<? extends Literal> data, java.util.Map<Variable,Term> unifier) For the given unifier "u" thi method computes all extensions of "u" to a unifier "u2" such that "u2" transforms this literal into one given in data.
java.util.Map<Variable,Term>	StrictNegation.extendUnifier(Literal l, java.util.Map<Variable,Term> unifier)
abstract java.util.Map<Variable,Term>	Literal.extendUnifier(Literal l, java.util.Map<Variable,Term> unifier) Extends the given unifier "u" to a unifier "u2" such that "u2" transforms this literal into the one given.
java.util.Map<Variable,Term>	GeneralizedAtom.extendUnifier(Literal l, java.util.Map<Variable,Term> unifier)
java.util.Set<java.util.Map<Variable,Term>>	Literal.extendUnifiers(java.util.Collection<? extends Literal> data, java.util.Collection<java.util.Map<Variable,Term>> unifiers) For any unifier "u" in "unifiers" this method computes all extensions of "u" to a unifier "u2" such that "u2" transforms this literal into one given in data.
Literal	StrictNegation.substitute(java.util.Map<? extends Variable,? extends Term> substitution)
abstract Literal	Literal.substitute(java.util.Map<? extends Variable,? extends Term> substitution) This method substitutes in this literal each occurence of a variable that is a key in the given substitution map by its value in the same given substitution map.
Literal	GeneralizedAtom.substitute(java.util.Map<? extends Variable,? extends Term> substitution) This method substitutes each occurrence of a variable that is a key in the given substitution map by its value in the same given substitution map.
java.util.Set<Literal>	Literal.substituteAll(java.util.Collection<java.util.Map<Variable,Term>> substitutions) For any substitution "s" given this method applies "s" to this literal and returns the set of all substitutions.

Constructor parameters in edu.cs.ai.kreator.logic with type arguments of type Variable

FolAllQuantification(java.util.List<Variable> variables, FolFormula formula)

FolExistQuantification(java.util.List<Variable> variables, FolFormula formula)

FolQuantification(java.util.List<Variable> variables, FolFormula formula)

Uses of Variable in edu.cs.ai.kreator.logic.metaconstraints

Methods in edu.cs.ai.kreator.logic.metaconstraints that return types with arguments of type Variable

java.util.Set<Variable>	NotEqualConstraint.getVariables()
java.util.Set<Variable>	MetaConstraint.getVariables() Returns all variables appearing in this constraint.
java.util.Set<Variable>	ExclusionConstraint.getVariables()

Method parameters in edu.cs.ai.kreator.logic.metaconstraints with type arguments of type Variable

boolean	NotEqualConstraint.isValidSubstitution(java.util.Map<Variable,Constant> substitution)
boolean	MetaConstraint.isValidSubstitution(java.util.Map<Variable,Constant> substitution) Checks if a given substitution violates this MetaConstraint.
boolean	ExclusionConstraint.isValidSubstitution(java.util.Map<Variable,Constant> substitution)

Constructors in edu.cs.ai.kreator.logic.metaconstraints with parameters of type Variable

ExclusionConstraint(Variable var, java.util.Collection<? extends Constant> consts)
Creates a new ExclusionConstraint object with a given Variable and a given Collection of Constants.

NotEqualConstraint(Variable var1, Variable var2)
Constructs a new NotEqualConstraint for two Variables which not should substituted by the sameConstant.

Uses of Variable in edu.cs.ai.kreator.parser.groundatom

Methods in edu.cs.ai.kreator.parser.groundatom that return Variable

Variable

GroundAtomWalker.variable(Sort sort)