org.provarules.kernel2

Interface ProvaListPtr

All Superinterfaces:

ProvaObject, java.io.Serializable

All Known Implementing Classes:

ProvaListPtrImpl

public interface ProvaListPtr
extends ProvaObject

Method Summary

Modifier and Type	Method and Description
ProvaList	getAssigned()
ProvaList	getAssignedWithOffset()
int	getOffset()
ProvaObject	rebuild(ProvaUnification unification)
ProvaObject	rebuildSource(ProvaUnification unification)

Methods inherited from interface org.provarules.kernel2.ProvaObject

cloneWithBoundVariables, cloneWithVariables, cloneWithVariables, collectVariables, computeIfExpression, computeProvaIfExpression, computeSize, getRecursivelyAssigned, isGround, substituteVariables, toString, unify, updateGround

Method Detail

rebuild

ProvaObject rebuild(ProvaUnification unification)

getAssigned

ProvaList getAssigned()

getAssignedWithOffset

ProvaList getAssignedWithOffset()

getOffset

int getOffset()

rebuildSource

ProvaObject rebuildSource(ProvaUnification unification)