org.provarules.kernel2

Interface ProvaObject

All Superinterfaces:

java.io.Serializable

All Known Subinterfaces:

ProvaCachedLiteral, ProvaConstant, ProvaList, ProvaListPtr, ProvaLiteral, ProvaVariable, ProvaVariablePtr

All Known Implementing Classes:

ProvaAnyImpl, ProvaCachedLiteralImpl, ProvaConstantImpl, ProvaGlobalConstantImpl, ProvaGuardedLiteralImpl, ProvaListImpl, ProvaListPtrImpl, ProvaLiteralImpl, ProvaMapImpl, ProvaTermImpl, ProvaVariableImpl, ProvaVariablePtrImpl

public interface ProvaObject
extends java.io.Serializable

TODO: Rename to ProvaTerm once all rewrite is complete

Author:

Alex Kozlenkov

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()
ProvaObject	getRecursivelyAssigned()
boolean	isGround()
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString(java.util.List<ProvaVariable> variables)
boolean	unify(ProvaObject target, ProvaUnification unification)
boolean	updateGround(java.util.List<ProvaVariable> variables)

Method Detail

getRecursivelyAssigned

ProvaObject getRecursivelyAssigned()

collectVariables

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

computeSize

int computeSize()

unify

boolean unify(ProvaObject target,
              ProvaUnification unification)

substituteVariables

void substituteVariables(ProvaVariablePtr[] varsMap)

isGround

boolean isGround()

toString

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

cloneWithVariables

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

cloneWithVariables

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

computeIfExpression

java.lang.Object computeIfExpression()

computeProvaIfExpression

ProvaObject computeProvaIfExpression()

cloneWithBoundVariables

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

updateGround

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