Uses of Class
ai.krr.fol.Variable

Packages that use Variable

ai.krr.fol

Uses of Variable in ai.krr.fol

Fields in ai.krr.fol declared as Variable

protected Variable[]	KifSentenceAdaptor.VariableStack.localVars
protected Variable[]	QuantifiedSentence.variables the Variables that are bound

Fields in ai.krr.fol with type parameters of type Variable

protected java.util.Map<java.lang.String,Variable>

KifSentenceAdaptor.VariableStack.globalVars

Methods in ai.krr.fol that return Variable

Variable	Variable.clone() Cloning a Variable returns the this Variable.
Variable	KifSentenceAdaptor.VariableStack.getLocal(java.lang.String name)
Variable[]	QuantifiedSentence.getVariables() This function returns the Variables that are bound here.
protected Variable	XfolSentenceAdaptor.parseVariable(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected static Variable	KifSentenceAdaptor.parseVariable(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props, KifSentenceAdaptor.VariableStack allVars)

Methods in ai.krr.fol that return types with arguments of type Variable

java.util.Set<Variable>	Sentence.getBoundVariables() This function adds all the bound Variables in this Sentence to the returned Set.
java.util.Set<Variable>	Sentence.getFreeVariables() This function adds all the free Variables in this Sentence to the returned Set.
java.util.Set<Variable>	Term.getVariables() This function adds all the Variables in this Term to the returned Set.
java.util.Set<Variable>	Clause.getVariables() This function adds all the Variables in this Clause to the returned Set.
java.util.Set<Variable>	VariableRenaming.getVars() This function returns a Set of all the Variables from the left Term that are unified in this Substitution.
protected static java.util.LinkedList<Variable>	KifSentenceAdaptor.parseVariables(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props, KifSentenceAdaptor.VariableStack allVars)

Methods in ai.krr.fol with parameters of type Variable

int	Variable.compareTo(Variable other) This function compares this Variable to the given Variable.
boolean	VariableRenaming.contains(Variable v) This function tests whether this Substitution maps the given Variable to a new Term.
boolean	Substitution.contains(Variable var) This function tests whether this Substitution contains the given Variable.
boolean	Instantiation.contains(Variable var) This function tests whether this Substitution maps the given Variable to a new Term.
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateVariableNode(org.w3c.dom.Document doc, Variable var)
Term	VariableRenaming.getValue(Variable aVar) This function returns the Term the given Variable is mapped to.
Term	Substitution.getValue(Variable aVar) This function returns the Term the given Variable is mapped to under this Substitution.
Term	Instantiation.getValue(Variable aVar) This function returns the Term the given Variable is mapped to.
void	KifSentenceAdaptor.VariableStack.stackLocals(java.lang.String name, Variable var)
boolean	VariableRenaming.unify(Term aTerm, Variable aVar) This function attempts to extend this Substitution such that the given Variable (from the "right" expression) and the given Term (from the "left") are unified and returns whether this succeeded.
boolean	Substitution.unify(Term lTerm, Variable rVar) This function attempts to extend this Substitution such that the given Variable (from the "right" expression) and the given Term (from the "left") are unified and returns whether this succeeded.
boolean	Instantiation.unify(Term aTerm, Variable aVar) This function attempts to extend this Substitution such that the given Variable (from the "right" expression) and the given Term (from the "left") are unified and returns whether this succeeded.
boolean	VariableRenaming.unify(Variable aVar, Term aTerm) This function attempts to extend this Substitution such that the given Variable (from the "left" expression) and the given Term (from the "right") are unified and returns whether this succeeded.
boolean	Substitution.unify(Variable lVar, Term rTerm) This function attempts to extend this Substitution such that the given Variable (from the "left" expression) and the given Term (from the "right") are unified and returns whether this succeeded.
boolean	Instantiation.unify(Variable aVar, Term aTerm) This function attempts to extend this Substitution such that the given Variable (from the "left" expression) and the given Term (from the "right") are unified and returns whether this succeeded.
boolean	VariableRenaming.unify(Variable leftVar, Variable rightVar) This function attempts to extend this Substitution such that the given Variables will be unified and returns true if this was possible.
boolean	Substitution.unify(Variable lVar, Variable rVar) This function attempts to extend this Substitution such that the given Variables will be unified and returns true if this was possible.
boolean	Instantiation.unify(Variable leftVar, Variable rightVar) This function attempts to extend this Substitution such that the given Variables will be unified and returns true if this was possible.
protected static void	KifSentenceAdaptor.writeVariable(Variable var, java.io.Writer w, java.util.Properties props)

Method parameters in ai.krr.fol with type arguments of type Variable

protected void	TruthValue.addBoundVariables(java.util.Set<Variable> bound) This function adds the bound Variables in this Sentence to the given Set.
protected abstract void	Sentence.addBoundVariables(java.util.Set<Variable> bound) This function adds the bound Variables in this Sentence to the given Set.
protected void	QuantifiedSentence.addBoundVariables(java.util.Set<Variable> bound) This function adds the bound Variables in this Sentence to the given Set.
protected void	NegatedSentence.addBoundVariables(java.util.Set<Variable> bound) This function adds the bound Variables in this Sentence to the given Set.
protected void	Literal.addBoundVariables(java.util.Set<Variable> bound) This function adds the bound Variables in this Sentence to the given Set.
protected void	ConnectedSentence.addBoundVariables(java.util.Set<Variable> bound) This function adds the bound Variables in this Sentence to the given Set.
protected void	Atom.addBoundVariables(java.util.Set<Variable> bound) This function adds the bound Variables in this Sentence to the given Set.
protected void	Variable.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected void	Variable.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected void	TruthValue.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	TruthValue.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected abstract void	Term.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected abstract void	Term.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected abstract void	Sentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected abstract void	Sentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	QuantifiedSentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	QuantifiedSentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	NegatedSentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	NegatedSentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	Literal.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	Literal.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	FunctionTerm.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected void	FunctionTerm.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected void	Constant.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected void	Constant.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Term to the first given Set.
protected void	ConnectedSentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	ConnectedSentence.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	Atom.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	Atom.addFreeVariables(java.util.Set<Variable> free, java.util.Set<Variable> bound) This function adds the free Variables in this Sentence to the first given Set.
protected void	Variable.addVariables(java.util.Set<Variable> vars) This function adds this Variable to the given Set.
protected abstract void	Term.addVariables(java.util.Set<Variable> vars) This function adds all the Variables in this Term to the given Set.
protected void	FunctionTerm.addVariables(java.util.Set<Variable> vars) This function adds the Variables in this FunctionTerm to the given Set.
protected void	Constant.addVariables(java.util.Set<Variable> vars) This function adds the Variables in this Term to the given Set.

Constructors in ai.krr.fol with parameters of type Variable

QuantifiedSentence(QuantifiedSentence.Quantifier q, Variable[] vars, Sentence content)
This constructor for a QuantifiedSentence takes a Quantifier, a List of Variables, and a Sentence.

QuantifiedSentence(QuantifiedSentence.Quantifier q, Variable var, Sentence content)
This constructor for a QuantifiedSentence takes a Quantifier, a single Variable, and a Sentence.

VariableRenaming(Variable... vars)

Constructor parameters in ai.krr.fol with type arguments of type Variable

VariableRenaming(java.util.Collection<Variable> vars)