org.provarules.reference2

Class ProvaUnificationImpl

java.lang.Object

org.provarules.reference2.ProvaUnificationImpl

All Implemented Interfaces:

ProvaUnification

public class ProvaUnificationImpl
extends java.lang.Object
implements ProvaUnification

Constructor Summary

Constructors

Constructor and Description
ProvaUnificationImpl(ProvaRule source, ProvaRule target)
ProvaUnificationImpl(ProvaRule source, ProvaRule target, boolean cloneTarget)

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)
void	setMeta(java.util.List<ProvaList> meta)
void	setSource(ProvaRule source)
void	setSourceRuleId(long sourceRuleId)
void	setSourceVariables(java.util.List<ProvaVariable> sourceVariables)
void	setTarget(ProvaRule target)
void	setTargetRuleId(long targetRuleId)
void	setTargetVariables(java.util.List<ProvaVariable> targetVariables)
boolean	targetUnchanged()
boolean	unify()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProvaUnificationImpl

public ProvaUnificationImpl(ProvaRule source,
                            ProvaRule target)

ProvaUnificationImpl

public ProvaUnificationImpl(ProvaRule source,
                            ProvaRule target,
                            boolean cloneTarget)

Method Detail

setSource

public void setSource(ProvaRule source)

getSource

public ProvaRule getSource()

Specified by:

getSource in interface ProvaUnification

setTarget

public void setTarget(ProvaRule target)

getTarget

public ProvaRule getTarget()

Specified by:

getTarget in interface ProvaUnification

setSourceRuleId

public void setSourceRuleId(long sourceRuleId)

getSourceRuleId

public long getSourceRuleId()

Specified by:

getSourceRuleId in interface ProvaUnification

setTargetRuleId

public void setTargetRuleId(long targetRuleId)

getTargetRuleId

public long getTargetRuleId()

Specified by:

getTargetRuleId in interface ProvaUnification

setSourceVariables

public void setSourceVariables(java.util.List<ProvaVariable> sourceVariables)

getSourceVariables

public java.util.List<ProvaVariable> getSourceVariables()

Specified by:

getSourceVariables in interface ProvaUnification

setTargetVariables

public void setTargetVariables(java.util.List<ProvaVariable> targetVariables)

getTargetVariables

public java.util.List<ProvaVariable> getTargetVariables()

Specified by:

getTargetVariables in interface ProvaUnification

unify

public boolean unify()

Specified by:

unify in interface ProvaUnification

rebuildNewGoals

public ProvaLiteral[] rebuildNewGoals()

Specified by:

rebuildNewGoals in interface ProvaUnification

rebuildOldGoals

public ProvaLiteral[] rebuildOldGoals(ProvaLiteral[] body)

Specified by:

rebuildOldGoals in interface ProvaUnification

getVariableFromVariablePtr

public ProvaVariable getVariableFromVariablePtr(ProvaVariablePtr variablePtr)

Specified by:

getVariableFromVariablePtr in interface ProvaUnification

rebuild

public ProvaObject rebuild(ProvaVariablePtr variablePtr)

Specified by:

rebuild in interface ProvaUnification

rebuildSource

public ProvaObject rebuildSource(ProvaVariablePtr variablePtr)

Specified by:

rebuildSource in interface ProvaUnification

generateQuery

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

Specified by:

generateQuery in interface ProvaUnification

targetUnchanged

public boolean targetUnchanged()

Specified by:

targetUnchanged in interface ProvaUnification

setMeta

public void setMeta(java.util.List<ProvaList> meta)