public class ProvaCacheStateImpl extends java.lang.Object implements ProvaCacheState
| Modifier and Type | Class and Description |
|---|---|
class |
ProvaCacheStateImpl.ProvaCacheAnswerKey |
| Constructor and Description |
|---|
ProvaCacheStateImpl() |
| 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) |
public java.util.List<ProvaGoal> getGoals()
getGoals in interface ProvaCacheStatepublic void setOpen(boolean open)
setOpen in interface ProvaCacheStatepublic void addGoal(ProvaGoal goal)
addGoal in interface ProvaCacheStatepublic boolean isOpen()
isOpen in interface ProvaCacheStatepublic void setComplete(boolean complete)
public boolean isComplete()
isComplete in interface ProvaCacheStatepublic boolean addSolution(ProvaCacheStateImpl.ProvaCacheAnswerKey key, ProvaList literalList)
addSolution in interface ProvaCacheStatepublic ProvaCacheStateImpl.ProvaCacheAnswerKey getCacheAnswerKey(ProvaList literalList, java.util.List<ProvaVariable> variables)
getCacheAnswerKey in interface ProvaCacheStatepublic java.util.Collection<ProvaList> getSolutions()
getSolutions in interface ProvaCacheStatepublic ProvaGoal getGoal()
getGoal in interface ProvaCacheStatepublic void markCompletion()
markCompletion in interface ProvaCacheStateCopyright © 2019. All Rights Reserved.