org.provarules.kernel2

Interface ProvaVariablePtr

All Superinterfaces:

ProvaObject, java.io.Serializable

All Known Implementing Classes:

ProvaVariablePtrImpl

public interface ProvaVariablePtr
extends ProvaObject

Method Summary

Modifier and Type	Method and Description
int	getIndex()
long	getRuleId()
boolean	unifyReverse(ProvaObject target, 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

unifyReverse

boolean unifyReverse(ProvaObject target,
                     ProvaUnification unification)

getRuleId

long getRuleId()

getIndex

int getIndex()