org.provarules.kernel2.cache

Interface ProvaCachedLiteral

All Superinterfaces:

ProvaLiteral, ProvaObject, java.io.Serializable

All Known Implementing Classes:

ProvaCachedLiteralImpl

public interface ProvaCachedLiteral
extends ProvaLiteral

Method Summary

Modifier and Type	Method and Description
ProvaLocalAnswers	getAnswers()
ProvaCacheState	getCacheState()
ProvaGoal	getGoal()
void	setGoal(ProvaGoal provaGoal)

Methods inherited from interface org.provarules.kernel2.ProvaLiteral

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

Methods inherited from interface org.provarules.kernel2.ProvaObject

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

Method Detail

setGoal

void setGoal(ProvaGoal provaGoal)

Specified by:

setGoal in interface ProvaLiteral

getCacheState

ProvaCacheState getCacheState()

Specified by:

getCacheState in interface ProvaLiteral

getAnswers

ProvaLocalAnswers getAnswers()

Specified by:

getAnswers in interface ProvaLiteral

getGoal

ProvaGoal getGoal()

Specified by:

getGoal in interface ProvaLiteral