org.provarules.kernel2

Interface ProvaConstant

All Superinterfaces:

ProvaObject, java.io.Serializable

All Known Implementing Classes:

ProvaAnyImpl, ProvaConstantImpl, ProvaGlobalConstantImpl, ProvaMapImpl

public interface ProvaConstant
extends ProvaObject

Method Summary

Modifier and Type	Method and Description
java.lang.Object	getObject()
boolean	matched(ProvaConstant target)
void	setObject(java.lang.Object object)

Methods inherited from interface org.provarules.kernel2.ProvaObject

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

Method Detail

getObject

java.lang.Object getObject()

setObject

void setObject(java.lang.Object object)

matched

boolean matched(ProvaConstant target)