org.provarules.kernel2

Interface ProvaLiteral

All Superinterfaces:

ProvaObject, java.io.Serializable

All Known Subinterfaces:

ProvaCachedLiteral

All Known Implementing Classes:

ProvaCachedLiteralImpl, ProvaGuardedLiteralImpl, ProvaLiteralImpl

public interface ProvaLiteral
extends ProvaObject

Method Summary

Modifier and Type	Method and Description
void	addClause(ProvaRule clause)
void	addClauseA(ProvaRule clause)
java.util.List<ProvaObject>	addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)
ProvaLiteral	cloneWithBoundVariables(ProvaUnification unification, java.util.List<ProvaVariable> variables, java.util.List<java.lang.Boolean> isConstant)
ProvaLocalAnswers	getAnswers()
ProvaCacheState	getCacheState()
ProvaGoal	getGoal()
java.util.List<ProvaLiteral>	getGuard()
int	getLine()
java.util.Map<java.lang.String,java.util.List<java.lang.Object>>	getMetadata()
java.util.List<java.lang.Object>	getMetadata(java.lang.String property)
ProvaPredicate	getPredicate()
java.lang.String	getSourceCode()
ProvaList	getTerms()
void	markCompletion()
ProvaLiteral	rebuild(ProvaUnification unification)
ProvaLiteral	rebuildSource(ProvaUnification unification)
void	setGoal(ProvaGoal provaGoal)
void	setGround(boolean ground)
void	setLine(int line)
void	setMetadata(java.lang.String property, java.util.List<java.lang.Object> value)
void	setSourceCode(java.lang.String string)
void	setTerms(ProvaList newList)

Methods inherited from interface org.provarules.kernel2.ProvaObject

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

Method Detail

getPredicate

ProvaPredicate getPredicate()

getTerms

ProvaList getTerms()

rebuild

ProvaLiteral rebuild(ProvaUnification unification)

rebuildSource

ProvaLiteral rebuildSource(ProvaUnification unification)

addClause

void addClause(ProvaRule clause)

addClauseA

void addClauseA(ProvaRule clause)

setGoal

void setGoal(ProvaGoal provaGoal)

getCacheState

ProvaCacheState getCacheState()

getAnswers

ProvaLocalAnswers getAnswers()

markCompletion

void markCompletion()

getGoal

ProvaGoal getGoal()

getSourceCode

java.lang.String getSourceCode()

setSourceCode

void setSourceCode(java.lang.String string)

setMetadata

void setMetadata(java.lang.String property,
                 java.util.List<java.lang.Object> value)

getMetadata

java.util.List<java.lang.Object> getMetadata(java.lang.String property)

addMetadata

java.util.List<ProvaObject> addMetadata(java.util.Map<java.lang.String,java.util.List<java.lang.Object>> m)

getMetadata

java.util.Map<java.lang.String,java.util.List<java.lang.Object>> getMetadata()

setLine

void setLine(int line)

getLine

int getLine()

getGuard

java.util.List<ProvaLiteral> getGuard()

setTerms

void setTerms(ProvaList newList)

setGround

void setGround(boolean ground)

cloneWithBoundVariables

ProvaLiteral cloneWithBoundVariables(ProvaUnification unification,
                                     java.util.List<ProvaVariable> variables,
                                     java.util.List<java.lang.Boolean> isConstant)