iw.model
Interface IWVariableMapping

All Known Subinterfaces:

OWLVariableMapping

public interface IWVariableMapping

Models variable mappings in Inference Web inference steps. Each binding of an inference step is a mapping from a variable to a term specifying substitutions performed on the premises before the application of the step's rule. For instance, substitutions may be required to unify the terms in premises in order to perform resolution. Variable mappings are used to model these bindings.

Method Summary

java.lang.String	getTerm() Returns the term of the variable mapping
java.lang.String	getVariable() Returns the variable of the variable mapping
void	setTerm(java.lang.String newTerm) Sets the term of the variable mapping
void	setVariable(java.lang.String newVariable) Sets the variable of the variable mapping

Method Detail

getTerm

public java.lang.String getTerm()

Returns the term of the variable mapping

Returns:

the term of the variable mapping

setTerm

public void setTerm(java.lang.String newTerm)

Sets the term of the variable mapping

Parameters:

newTerm - the new term of the variable mapping

getVariable

public java.lang.String getVariable()

Returns the variable of the variable mapping

Returns:

the variable of the variable mapping

setVariable

public void setVariable(java.lang.String newVariable)

Sets the variable of the variable mapping

Parameters:

newVariable - the new variable of the variable mapping