org.provarules.reference2

Class ProvaListImpl

java.lang.Object

org.provarules.reference2.ProvaTermImpl

org.provarules.reference2.ProvaListImpl

All Implemented Interfaces:

java.io.Serializable, ProvaComputable, ProvaList, ProvaObject

public class ProvaListImpl
extends ProvaTermImpl
implements ProvaList, ProvaComputable

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static ProvaListImpl	emptyRList

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)
ProvaObject	cloneWithVariables(java.util.List<ProvaVariable> variables, int offset)
ProvaObject	cloneWithVariables(long ruleId, java.util.List<ProvaVariable> variables)
int	collectVariables(long ruleId, java.util.List<ProvaVariable> variables)
java.lang.Object	compute()
java.lang.Object	computeIfExpression()
ProvaObject	computeProvaIfExpression()
int	computeSize()
int	computeSize(int offset)
ProvaList	copyWithBoundVariables(java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaList	copyWithVariables(java.util.List<ProvaVariable> variables)
static ProvaList	create(java.util.List<ProvaObject> list)
static ProvaList	create(ProvaObject[] fixed)
static ProvaList	create(ProvaObject[] fixed, ProvaObject tail)
ProvaObject[]	getFixed()
ProvaObject	getRecursivelyAssigned()
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)
void	setTail(ProvaObject tail)
ProvaList	shallowCopy()
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()
java.lang.String	toString(java.util.List<ProvaVariable> variables)
boolean	unify(int offset, ProvaObject target, ProvaUnification unification) A general case when both unified lists may have offsets
boolean	unify(ProvaObject target, ProvaUnification unification)
boolean	updateGround(java.util.List<ProvaVariable> variables)

Methods inherited from class org.provarules.reference2.ProvaTermImpl

uniqueName

Methods inherited from class java.lang.Object

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

Field Detail

emptyRList

public static final ProvaListImpl emptyRList

Method Detail

create

public static ProvaList create(ProvaObject[] fixed)

create

public static ProvaList create(java.util.List<ProvaObject> list)

create

public static ProvaList create(ProvaObject[] fixed,
                               ProvaObject tail)

isGround

public boolean isGround()

Specified by:

isGround in interface ProvaList

Specified by:

isGround in interface ProvaObject

getFixed

public ProvaObject[] getFixed()

Specified by:

getFixed in interface ProvaList

setTail

public void setTail(ProvaObject tail)

getTail

public ProvaObject getTail()

Specified by:

getTail in interface ProvaList

computeSize

public int computeSize()

Specified by:

computeSize in interface ProvaObject

getRecursivelyAssigned

public ProvaObject getRecursivelyAssigned()

Specified by:

getRecursivelyAssigned in interface ProvaObject

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaObject

shallowCopy

public ProvaList shallowCopy()

Specified by:

shallowCopy in interface ProvaList

copyWithVariables

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

Specified by:

copyWithVariables in interface ProvaList

copyWithBoundVariables

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

Specified by:

copyWithBoundVariables in interface ProvaList

cloneWithBoundVariables

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

Specified by:

cloneWithBoundVariables in interface ProvaList

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(java.util.List<ProvaVariable> variables,
                                      int offset)

Specified by:

cloneWithVariables in interface ProvaList

cloneWithVariables

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

Specified by:

cloneWithVariables in interface ProvaObject

updateGround

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

Specified by:

updateGround in interface ProvaObject

collectVariables

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

Specified by:

collectVariables in interface ProvaObject

computeSize

public int computeSize(int offset)

Specified by:

computeSize in interface ProvaList

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

unify

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

A general case when both unified lists may have offsets

Specified by:

unify in interface ProvaList

rebuild

public ProvaList rebuild(ProvaUnification unification)

Specified by:

rebuild in interface ProvaList

rebuild

public ProvaObject rebuild(ProvaUnification unification,
                           int offset)

Specified by:

rebuild in interface ProvaList

rebuildSource

public ProvaList rebuildSource(ProvaUnification unification)

Specified by:

rebuildSource in interface ProvaList

rebuildSource

public ProvaObject rebuildSource(ProvaUnification unification,
                                 int offset)

Specified by:

rebuildSource in interface ProvaList

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

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

Specified by:

toString in interface ProvaObject

performative

public java.lang.String performative()

Specified by:

performative in interface ProvaList

compute

public java.lang.Object compute()

Specified by:

compute in interface ProvaComputable

computeIfExpression

public java.lang.Object computeIfExpression()

Specified by:

computeIfExpression in interface ProvaComputable

Specified by:

computeIfExpression in interface ProvaObject

computeProvaIfExpression

public ProvaObject computeProvaIfExpression()

Specified by:

computeProvaIfExpression in interface ProvaObject

setGround

public void setGround(boolean ground)

Specified by:

setGround in interface ProvaList