org.provarules.kernel2

Interface ProvaList

All Superinterfaces:

ProvaObject, java.io.Serializable

All Known Implementing Classes:

ProvaListImpl

public interface ProvaList
extends ProvaObject

Method Summary

Modifier and Type	Method and Description
ProvaObject	cloneWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> changed)
ProvaObject	cloneWithVariables(java.util.List<ProvaVariable> variables, int offset)
int	computeSize(int offset)
ProvaList	copyWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> changed)
ProvaList	copyWithVariables(java.util.List<ProvaVariable> variables)
ProvaObject[]	getFixed()
ProvaObject	getTail()
boolean	isGround()
java.lang.String	performative()
ProvaList	rebuild(ProvaUnification unification)
ProvaObject	rebuild(ProvaUnification unification, int offset)
ProvaList	rebuildSource(ProvaUnification unification)
ProvaObject	rebuildSource(ProvaUnification unification, int offset)
void	setGround(boolean ground)
ProvaList	shallowCopy()
boolean	unify(int offset, ProvaObject target, ProvaUnification unification)

Methods inherited from interface org.provarules.kernel2.ProvaObject

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

Method Detail

computeSize

int computeSize(int offset)

rebuild

ProvaList rebuild(ProvaUnification unification)

getFixed

ProvaObject[] getFixed()

getTail

ProvaObject getTail()

rebuild

ProvaObject rebuild(ProvaUnification unification,
                    int offset)

unify

boolean unify(int offset,
              ProvaObject target,
              ProvaUnification unification)

rebuildSource

ProvaList rebuildSource(ProvaUnification unification)

rebuildSource

ProvaObject rebuildSource(ProvaUnification unification,
                          int offset)

isGround

boolean isGround()

Specified by:

isGround in interface ProvaObject

performative

java.lang.String performative()

shallowCopy

ProvaList shallowCopy()

cloneWithVariables

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

copyWithVariables

ProvaList copyWithVariables(java.util.List<ProvaVariable> variables)

cloneWithBoundVariables

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

Specified by:

cloneWithBoundVariables in interface ProvaObject

copyWithBoundVariables

ProvaList copyWithBoundVariables(java.util.List<ProvaVariable> variables,
                                 java.util.List<java.lang.Boolean> changed)

setGround

void setGround(boolean ground)