org.provarules.reference2

Class ProvaListPtrImpl

java.lang.Object

org.provarules.reference2.ProvaListPtrImpl

All Implemented Interfaces:

java.io.Serializable, ProvaListPtr, ProvaObject

public class ProvaListPtrImpl
extends java.lang.Object
implements ProvaListPtr

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ProvaListPtrImpl(ProvaList assigned, int offset)

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()
ProvaList	getAssigned()
ProvaList	getAssignedWithOffset()
int	getOffset()
ProvaObject	getRecursivelyAssigned()
boolean	isGround()
ProvaObject	rebuild(ProvaUnification unification)
ProvaObject	rebuildSource(ProvaUnification unification)
void	setAssigned(ProvaList assigned)
void	setOffset(int offset)
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()
java.lang.String	toString(java.util.List<ProvaVariable> variables)
boolean	unify(ProvaObject target, ProvaUnification unification)
boolean	updateGround(java.util.List<ProvaVariable> variables)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaListPtrImpl

public ProvaListPtrImpl(ProvaList assigned,
                        int offset)

Method Detail

setAssigned

public void setAssigned(ProvaList assigned)

getAssigned

public ProvaList getAssigned()

Specified by:

getAssigned in interface ProvaListPtr

getAssignedWithOffset

public ProvaList getAssignedWithOffset()

Specified by:

getAssignedWithOffset in interface ProvaListPtr

setOffset

public void setOffset(int offset)

getOffset

public int getOffset()

Specified by:

getOffset in interface ProvaListPtr

getRecursivelyAssigned

public ProvaObject getRecursivelyAssigned()

Specified by:

getRecursivelyAssigned in interface ProvaObject

collectVariables

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

Specified by:

collectVariables in interface ProvaObject

computeSize

public int computeSize()

Specified by:

computeSize in interface ProvaObject

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

rebuild

public ProvaObject rebuild(ProvaUnification unification)

Specified by:

rebuild in interface ProvaListPtr

rebuildSource

public ProvaObject rebuildSource(ProvaUnification unification)

Specified by:

rebuildSource in interface ProvaListPtr

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