public interface ProvaUnification
| 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() |
boolean unify()
ProvaRule getSource()
ProvaRule getTarget()
long getSourceRuleId()
long getTargetRuleId()
java.util.List<ProvaVariable> getSourceVariables()
java.util.List<ProvaVariable> getTargetVariables()
ProvaLiteral[] rebuildNewGoals()
ProvaVariable getVariableFromVariablePtr(ProvaVariablePtr variablePtr)
ProvaObject rebuild(ProvaVariablePtr variablePtr)
ProvaLiteral[] rebuildOldGoals(ProvaLiteral[] body)
ProvaObject rebuildSource(ProvaVariablePtr variablePtr)
ProvaRule generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
boolean targetUnchanged()
Copyright © 2019. All Rights Reserved.