org.provarules.reference2

Class ProvaAnyImpl

java.lang.Object

org.provarules.reference2.ProvaTermImpl

org.provarules.reference2.ProvaAnyImpl

All Implemented Interfaces:

java.io.Serializable, ProvaComputable, ProvaConstant, ProvaObject

public class ProvaAnyImpl
extends ProvaTermImpl
implements ProvaConstant, ProvaComputable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ProvaAnyImpl()

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.Number	compute()
java.lang.Object	computeIfExpression()
ProvaObject	computeProvaIfExpression()
int	computeSize()
static ProvaAnyImpl	create()
java.lang.Object	getObject()
ProvaObject	getRecursivelyAssigned()
boolean	isGround()
boolean	matched(ProvaConstant target)
void	setObject(java.lang.Object object)
void	substituteVariables(ProvaVariablePtr[] varsMap)
java.lang.String	toString()
java.lang.String	toString(java.util.List<ProvaVariable> variables)
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

Constructor Detail

ProvaAnyImpl

public ProvaAnyImpl()

Method Detail

create

public static ProvaAnyImpl create()

setObject

public void setObject(java.lang.Object object)

Specified by:

setObject in interface ProvaConstant

getObject

public java.lang.Object getObject()

Specified by:

getObject in interface ProvaConstant

getRecursivelyAssigned

public ProvaObject getRecursivelyAssigned()

Specified by:

getRecursivelyAssigned in interface ProvaObject

collectVariables

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

Specified by:

collectVariables in interface ProvaObject

computeSize

public int computeSize()

Specified by:

computeSize in interface ProvaObject

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

substituteVariables

public void substituteVariables(ProvaVariablePtr[] varsMap)

Specified by:

substituteVariables in interface ProvaObject

isGround

public boolean isGround()

Specified by:

isGround in interface ProvaObject

toString

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

Specified by:

toString in interface ProvaObject

cloneWithBoundVariables

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

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

Specified by:

cloneWithVariables in interface ProvaObject

compute

public java.lang.Number 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

matched

public boolean matched(ProvaConstant target)

Specified by:

matched in interface ProvaConstant

updateGround

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

Specified by:

updateGround in interface ProvaObject