Uses of Class
com.semedy.reasoner.api.logic.Variable

Packages that use Variable

Package	Description
com.semedy.reasoner.api.logic
com.semedy.reasoner.api.symboltable
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter
com.semedy.reasoner.symboltable
com.semedy.reasoner.utils

Uses of Variable in com.semedy.reasoner.api.logic

Methods in com.semedy.reasoner.api.logic that return Variable

Modifier and Type	Method	Description
Variable	Variable.clone()

Methods in com.semedy.reasoner.api.logic that return types with arguments of type Variable

Modifier and Type	Method	Description
Map<Variable,Integer>	Compound.getVariableOccurrences()	returns for each variable how often it occurs in compound
Map<Variable,Integer>	Rule.getVariableOccurrences()	returns for each variable how often it occurs in rule
final List<Variable>	Compound.getVariables()	Return all variables in compound
List<Variable>	Rule.getVariables()	returns a list of all rule variables

Methods in com.semedy.reasoner.api.logic with parameters of type Variable

Modifier and Type	Method	Description
String	Rule.getOriginalVariableName(Variable v)	return a variable renaming
void	Rule.variableRenamedTo(Variable oldVariable, Variable newVariable)	Add a variable renaming.

Uses of Variable in com.semedy.reasoner.api.symboltable

Method parameters in com.semedy.reasoner.api.symboltable with type arguments of type Variable

Modifier and Type	Method	Description
Object	SymbolTable.substitute(Object t, Map<Variable,Object> substitutions)
boolean	SymbolTable.unify(Object t, Object f, Map<Variable,Object> substitutions)	Unifies two structures (variables, terms, functions or literals).
boolean	SymbolTable.unify(Object t, Object f, Map<Variable,Object> substitutions, Map<Variable,Set<Variable>> equivalentVariables)	Unifies two structures (variables, terms, functions or literals).

Uses of Variable in com.semedy.reasoner.reasoning.processes

Method parameters in com.semedy.reasoner.reasoning.processes with type arguments of type Variable

Modifier and Type	Method	Description
Object	ReasoningSymbolTableNotInternalize.substitute(Object t, Map<Variable,Object> substitutions)
boolean	ReasoningSymbolTableNotInternalize.unify(Object t, Object f, Map<Variable,Object> substitutions)
boolean	ReasoningSymbolTableNotInternalize.unify(Object t, Object f, Map<Variable,Object> substitutions, Map<Variable,Set<Variable>> equivalentVariables)

Uses of Variable in com.semedy.reasoner.rewriter

Method parameters in com.semedy.reasoner.rewriter with type arguments of type Variable

Modifier and Type	Method	Description
boolean	EliminateRedundantBodiesRewriter.equals(Compound o1, Compound o2, Set<Variable> ignoreVariables)

Uses of Variable in com.semedy.reasoner.symboltable

Method parameters in com.semedy.reasoner.symboltable with type arguments of type Variable

Modifier and Type	Method	Description
Object	AbstractSymbolTable.substitute(Object t, Map<Variable,Object> subs)
Object	AbstractSymbolTable.substituteFunction(Function f, Map<Variable,Object> subs)
boolean	AbstractSymbolTable.unify(Object t, Object f, Map<Variable,Object> substitutions)
boolean	AbstractSymbolTable.unify(Object t, Object f, Map<Variable,Object> substitutions, Map<Variable,Set<Variable>> equivalences)

Uses of Variable in com.semedy.reasoner.utils

Methods in com.semedy.reasoner.utils with parameters of type Variable

Modifier and Type	Method	Description
int	VariableComparator.compare(Variable v1, Variable v2)