org.provarules.reference2

Class ProvaGlobalConstantImpl

java.lang.Object

org.provarules.reference2.ProvaTermImpl

org.provarules.reference2.ProvaConstantImpl

org.provarules.reference2.ProvaGlobalConstantImpl

All Implemented Interfaces:

java.io.Serializable, ProvaComputable, ProvaConstant, ProvaObject

public class ProvaGlobalConstantImpl
extends ProvaConstantImpl

See Also:

Serialized Form

Field Summary

Fields inherited from class org.provarules.reference2.ProvaConstantImpl

object

Method Summary

Modifier and Type	Method and Description
static ProvaGlobalConstantImpl	create(java.lang.Object object)

Methods inherited from class org.provarules.reference2.ProvaConstantImpl

cloneWithBoundVariables, cloneWithVariables, cloneWithVariables, collectVariables, compute, computeIfExpression, computeProvaIfExpression, computeSize, getObject, getRecursivelyAssigned, isGround, matched, setObject, substituteVariables, toString, toString, unify, updateGround, wrap

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

Method Detail

create

public static ProvaGlobalConstantImpl create(java.lang.Object object)