org.provarules.reference2

Class ProvaVariablePtrImpl

java.lang.Object

org.provarules.reference2.ProvaVariablePtrImpl

All Implemented Interfaces:

java.io.Serializable, ProvaObject, ProvaVariablePtr

public class ProvaVariablePtrImpl
extends java.lang.Object
implements ProvaVariablePtr

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
ProvaObject	cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaObject	cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject	cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
java.lang.Object	computeIfExpression()
ProvaObject	computeProvaIfExpression()
int	computeSize() This method assumes that the variable pointers have been rebuilt and point to unassigned variables
boolean	equals(java.lang.Object obj)
int	getIndex()
ProvaObject	getRecursivelyAssigned()
long	getRuleId()
int	hashCode()
boolean	isGround()
void	setIndex(int index)
void	setRuleId(long ruleId)
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()
java.lang.String	toString(java.util.List<ProvaVariable> variables)
boolean	unify(ProvaObject target, ProvaUnification unification)
boolean	unifyReverse(ProvaObject target, ProvaUnification unification)
boolean	updateGround(java.util.List<ProvaVariable> variables)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

setIndex

public void setIndex(int index)

getIndex

public int getIndex()

Specified by:

getIndex in interface ProvaVariablePtr

collectVariables

public int collectVariables(long ruleId,
                            java.util.List<ProvaVariable> variables)

Specified by:

collectVariables in interface ProvaObject

computeSize

public int computeSize()

This method assumes that the variable pointers have been rebuilt and point to unassigned variables

Specified by:

computeSize in interface ProvaObject

getRecursivelyAssigned

public ProvaObject getRecursivelyAssigned()

Specified by:

getRecursivelyAssigned in interface ProvaObject

setRuleId

public void setRuleId(long ruleId)

getRuleId

public long getRuleId()

Specified by:

getRuleId in interface ProvaVariablePtr

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

unifyReverse

public boolean unifyReverse(ProvaObject target,
                            ProvaUnification unification)

Specified by:

unifyReverse in interface ProvaVariablePtr

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaObject

isGround

public boolean isGround()

Specified by:

isGround in interface ProvaObject

toString

public java.lang.String toString(java.util.List<ProvaVariable> variables)

Specified by:

toString in interface ProvaObject

cloneWithBoundVariables

public ProvaObject cloneWithBoundVariables(java.util.List<ProvaVariable> variables,
                                           java.util.List<java.lang.Boolean> isConstant)

Specified by:

cloneWithBoundVariables in interface ProvaObject

cloneWithVariables

public ProvaObject cloneWithVariables(java.util.List<ProvaVariable> variables)

Specified by:

cloneWithVariables in interface ProvaObject

cloneWithVariables

public ProvaObject cloneWithVariables(long ruleId,
                                      java.util.List<ProvaVariable> variables)

Specified by:

cloneWithVariables in interface ProvaObject

computeIfExpression

public java.lang.Object computeIfExpression()

Specified by:

computeIfExpression in interface ProvaObject

computeProvaIfExpression

public ProvaObject computeProvaIfExpression()

Specified by:

computeProvaIfExpression in interface ProvaObject

updateGround

public boolean updateGround(java.util.List<ProvaVariable> variables)

Specified by:

updateGround in interface ProvaObject