org.provarules.reference2.cache

Class ProvaCacheStateImpl

java.lang.Object

org.provarules.reference2.cache.ProvaCacheStateImpl

All Implemented Interfaces:

ProvaCacheState

public class ProvaCacheStateImpl
extends java.lang.Object
implements ProvaCacheState

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	ProvaCacheStateImpl.ProvaCacheAnswerKey

Constructor Summary

Constructors

Constructor and Description
ProvaCacheStateImpl()

Method Summary

Modifier and Type	Method and Description
void	addGoal(ProvaGoal goal)
boolean	addSolution(ProvaCacheStateImpl.ProvaCacheAnswerKey key, ProvaList literalList) Only add new answers
ProvaCacheStateImpl.ProvaCacheAnswerKey	getCacheAnswerKey(ProvaList literalList, java.util.List<ProvaVariable> variables)
ProvaGoal	getGoal()
java.util.List<ProvaGoal>	getGoals()
java.util.Collection<ProvaList>	getSolutions()
boolean	isComplete()
boolean	isOpen()
void	markCompletion() Purge the top goal and mark the subgoal completion if the highest level goal is complete
void	setComplete(boolean complete)
void	setOpen(boolean open)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProvaCacheStateImpl

public ProvaCacheStateImpl()

Method Detail

getGoals

public java.util.List<ProvaGoal> getGoals()

Specified by:

getGoals in interface ProvaCacheState

setOpen

public void setOpen(boolean open)

Specified by:

setOpen in interface ProvaCacheState

addGoal

public void addGoal(ProvaGoal goal)

Specified by:

addGoal in interface ProvaCacheState

isOpen

public boolean isOpen()

Specified by:

isOpen in interface ProvaCacheState

setComplete

public void setComplete(boolean complete)

isComplete

public boolean isComplete()

Specified by:

isComplete in interface ProvaCacheState

addSolution

public boolean addSolution(ProvaCacheStateImpl.ProvaCacheAnswerKey key,
                           ProvaList literalList)

Only add new answers

Specified by:

addSolution in interface ProvaCacheState

getCacheAnswerKey

public ProvaCacheStateImpl.ProvaCacheAnswerKey getCacheAnswerKey(ProvaList literalList,
                                                                 java.util.List<ProvaVariable> variables)

Specified by:

getCacheAnswerKey in interface ProvaCacheState

getSolutions

public java.util.Collection<ProvaList> getSolutions()

Specified by:

getSolutions in interface ProvaCacheState

getGoal

public ProvaGoal getGoal()

Specified by:

getGoal in interface ProvaCacheState

markCompletion

public void markCompletion()

Purge the top goal and mark the subgoal completion if the highest level goal is complete

Specified by:

markCompletion in interface ProvaCacheState