org.provarules.kernel2

Interface ProvaUnification

All Known Implementing Classes:

ProvaUnificationImpl

public interface ProvaUnification

Method Summary

Modifier and Type	Method and Description
ProvaRule	generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
ProvaRule	getSource()
long	getSourceRuleId()
java.util.List<ProvaVariable>	getSourceVariables()
ProvaRule	getTarget()
long	getTargetRuleId()
java.util.List<ProvaVariable>	getTargetVariables()
ProvaVariable	getVariableFromVariablePtr(ProvaVariablePtr variablePtr)
ProvaObject	rebuild(ProvaVariablePtr variablePtr)
ProvaLiteral[]	rebuildNewGoals()
ProvaLiteral[]	rebuildOldGoals(ProvaLiteral[] body)
ProvaObject	rebuildSource(ProvaVariablePtr variablePtr)
boolean	targetUnchanged()
boolean	unify()

Method Detail

unify

boolean unify()

getSource

ProvaRule getSource()

getTarget

ProvaRule getTarget()

getSourceRuleId

long getSourceRuleId()

getTargetRuleId

long getTargetRuleId()

getSourceVariables

java.util.List<ProvaVariable> getSourceVariables()

getTargetVariables

java.util.List<ProvaVariable> getTargetVariables()

rebuildNewGoals

ProvaLiteral[] rebuildNewGoals()

getVariableFromVariablePtr

ProvaVariable getVariableFromVariablePtr(ProvaVariablePtr variablePtr)

rebuild

ProvaObject rebuild(ProvaVariablePtr variablePtr)

rebuildOldGoals

ProvaLiteral[] rebuildOldGoals(ProvaLiteral[] body)

rebuildSource

ProvaObject rebuildSource(ProvaVariablePtr variablePtr)

generateQuery

ProvaRule generateQuery(java.lang.String symbol,
                        ProvaKnowledgeBase kb,
                        ProvaRule query,
                        ProvaDerivationNode node)

targetUnchanged

boolean targetUnchanged()