org.provarules.reference2

Class ProvaVariableImpl

java.lang.Object

org.provarules.reference2.ProvaTermImpl

org.provarules.reference2.ProvaVariableImpl

All Implemented Interfaces:

java.io.Serializable, ProvaComputable, ProvaObject, ProvaVariable

public class ProvaVariableImpl
extends ProvaTermImpl
implements ProvaVariable

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
ProvaVariable	clone()
ProvaVariable	clone(long ruleId)
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	compute()
java.lang.Object	computeIfExpression()
ProvaObject	computeProvaIfExpression()
int	computeSize()
static ProvaVariable	create()
static ProvaVariable	create(java.lang.String name)
static ProvaVariable	create(java.lang.String name, java.lang.Class<?> type)
static ProvaVariableImpl	create(java.lang.String name, ProvaObject assigned)
boolean	equals(java.lang.Object o)
ProvaObject	getAssigned()
int	getIndex()
java.lang.Object	getName()
ProvaObject	getRecursivelyAssigned()
long	getRuleId()
java.lang.Class<?>	getType()
boolean	isGround()
void	setAssigned(ProvaObject assigned)
void	setIndex(int index)
void	setName(java.lang.String name)
void	setRuleId(long ruleId)
void	setType(java.lang.Class<?> type)
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

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.provarules.kernel2.ProvaVariable

uniqueName

Method Detail

create

public static ProvaVariable create()

create

public static ProvaVariable create(java.lang.String name)

create

public static ProvaVariable create(java.lang.String name,
                                   java.lang.Class<?> type)

create

public static ProvaVariableImpl create(java.lang.String name,
                                       ProvaObject assigned)

setName

public void setName(java.lang.String name)

getName

public java.lang.Object getName()

Specified by:

getName in interface ProvaVariable

setType

public void setType(java.lang.Class<?> type)

getType

public java.lang.Class<?> getType()

Specified by:

getType in interface ProvaVariable

setAssigned

public void setAssigned(ProvaObject assigned)

Specified by:

setAssigned in interface ProvaVariable

getAssigned

public ProvaObject getAssigned()

Specified by:

getAssigned in interface ProvaVariable

setIndex

public void setIndex(int index)

Specified by:

setIndex in interface ProvaVariable

getIndex

public int getIndex()

Specified by:

getIndex in interface ProvaVariable

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

clone

public ProvaVariable clone()

Specified by:

clone in interface ProvaVariable

Overrides:

clone in class java.lang.Object

clone

public ProvaVariable clone(long ruleId)

Specified by:

clone in interface ProvaVariable

unify

public boolean unify(ProvaObject target,
                     ProvaUnification unification)

Specified by:

unify in interface ProvaObject

setRuleId

public void setRuleId(long ruleId)

Specified by:

setRuleId in interface ProvaVariable

getRuleId

public long getRuleId()

Specified by:

getRuleId in interface ProvaVariable

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

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

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

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

compute

public java.lang.Object compute()

Specified by:

compute in interface ProvaComputable

updateGround

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

Specified by:

updateGround in interface ProvaObject