org.provarules.reference2.cache

Class ProvaCachedLiteralImpl

java.lang.Object

org.provarules.reference2.ProvaLiteralImpl

org.provarules.reference2.cache.ProvaCachedLiteralImpl

All Implemented Interfaces:

java.io.Serializable, ProvaCachedLiteral, ProvaLiteral, ProvaObject

public class ProvaCachedLiteralImpl
extends ProvaLiteralImpl
implements ProvaCachedLiteral

See Also:

Serialized Form

Field Summary

Fields inherited from class org.provarules.reference2.ProvaLiteralImpl

ground, line, metadata, predicate, sourceCode, terms, tlVars

Constructor Summary

Constructors

Constructor and Description
ProvaCachedLiteralImpl(ProvaPredicate predicate, ProvaList terms, ProvaCacheState cacheState, ProvaLocalAnswers answers)

Method Summary

Modifier and Type	Method and Description
ProvaObject	cloneWithVariables(java.util.List<ProvaVariable> variables)
ProvaLocalAnswers	getAnswers()
ProvaCacheState	getCacheState()
ProvaGoal	getGoal()
void	markCompletion()
ProvaLiteral	rebuildSource(ProvaUnification unification)
void	setGoal(ProvaGoal goal)
java.lang.String	toString()

Methods inherited from class org.provarules.reference2.ProvaLiteralImpl

addClause, addClauseA, addMetadata, cloneWithBoundVariables, cloneWithBoundVariables, cloneWithVariables, collectVariables, computeIfExpression, computeProvaIfExpression, computeSize, getGuard, getLine, getMetadata, getMetadata, getPredicate, getRecursivelyAssigned, getSourceCode, getTerms, isGround, rebuild, setGround, setLine, setMetadata, setSourceCode, setTerms, substituteVariables, toString, unify, updateGround

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.provarules.kernel2.ProvaLiteral

addClause, addClauseA, addMetadata, cloneWithBoundVariables, getGuard, getLine, getMetadata, getMetadata, getPredicate, getSourceCode, getTerms, rebuild, setGround, setLine, setMetadata, setSourceCode, setTerms

Methods inherited from interface org.provarules.kernel2.ProvaObject

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

Constructor Detail

ProvaCachedLiteralImpl

public ProvaCachedLiteralImpl(ProvaPredicate predicate,
                              ProvaList terms,
                              ProvaCacheState cacheState,
                              ProvaLocalAnswers answers)

Method Detail

rebuildSource

public ProvaLiteral rebuildSource(ProvaUnification unification)

Specified by:

rebuildSource in interface ProvaLiteral

Overrides:

rebuildSource in class ProvaLiteralImpl

toString

public java.lang.String toString()

Overrides:

toString in class ProvaLiteralImpl

cloneWithVariables

public ProvaObject cloneWithVariables(java.util.List<ProvaVariable> variables)

Specified by:

cloneWithVariables in interface ProvaObject

Overrides:

cloneWithVariables in class ProvaLiteralImpl

setGoal

public void setGoal(ProvaGoal goal)

Specified by:

setGoal in interface ProvaCachedLiteral

Specified by:

setGoal in interface ProvaLiteral

Overrides:

setGoal in class ProvaLiteralImpl

getGoal

public ProvaGoal getGoal()

Specified by:

getGoal in interface ProvaCachedLiteral

Specified by:

getGoal in interface ProvaLiteral

Overrides:

getGoal in class ProvaLiteralImpl

getCacheState

public ProvaCacheState getCacheState()

Specified by:

getCacheState in interface ProvaCachedLiteral

Specified by:

getCacheState in interface ProvaLiteral

Overrides:

getCacheState in class ProvaLiteralImpl

getAnswers

public ProvaLocalAnswers getAnswers()

Specified by:

getAnswers in interface ProvaCachedLiteral

Specified by:

getAnswers in interface ProvaLiteral

Overrides:

getAnswers in class ProvaLiteralImpl

markCompletion

public void markCompletion()

Specified by:

markCompletion in interface ProvaLiteral

Overrides:

markCompletion in class ProvaLiteralImpl