ProvaCacheState (prova 3.3.1 API)

All Known Implementing Classes:

ProvaCacheStateImpl
```
public interface ProvaCacheState
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`void`	`addGoal(ProvaGoal goal)`
`boolean`	`addSolution(ProvaCacheStateImpl.ProvaCacheAnswerKey key, ProvaList literalList)`
`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()`
`void`	`setOpen(boolean open)`

Method Detail

getSolutions

java.util.Collection<ProvaList> getSolutions()

setOpen
```
void setOpen(boolean open)
```

isOpen
```
boolean isOpen()
```

isComplete
```
boolean isComplete()
```

getGoal
```
ProvaGoal getGoal()
```

getCacheAnswerKey

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

addSolution

boolean addSolution(ProvaCacheStateImpl.ProvaCacheAnswerKey key,
                    ProvaList literalList)

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

addGoal
```
void addGoal(ProvaGoal goal)
```

markCompletion
```
void markCompletion()
```

Interface ProvaCacheState

Method Summary

Method Detail

getSolutions

setOpen

isOpen

isComplete

getGoal

getCacheAnswerKey

addSolution

getGoals

addGoal

markCompletion