org.provarules.reference2

Class ProvaTermImpl

java.lang.Object

org.provarules.reference2.ProvaTermImpl

All Implemented Interfaces:

java.io.Serializable, ProvaObject

Direct Known Subclasses:

ProvaAnyImpl, ProvaConstantImpl, ProvaListImpl, ProvaVariableImpl

public abstract class ProvaTermImpl
extends java.lang.Object
implements ProvaObject

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ProvaTermImpl()

Method Summary

Modifier and Type	Method and Description
java.lang.String	uniqueName()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.provarules.kernel2.ProvaObject

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

Constructor Detail

ProvaTermImpl

public ProvaTermImpl()

Method Detail

uniqueName

public java.lang.String uniqueName()