public class MemoizationFormula extends Formula
| Modifier and Type | Field and Description |
|---|---|
private Formula |
form |
private java.util.HashMap<java.lang.Integer,java.lang.Boolean> |
set |
| Constructor and Description |
|---|
MemoizationFormula(Formula form)
Create a new MemoizationFormula for `form`.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
evaluate(KripkeModel model,
int state)
Evaluate a Formula in a state using the given model.
|
Formula |
memoize()
A memoized version of this formula.
|
java.lang.String |
toString()
Return a string representation of this Formula
|
private Formula form
private java.util.HashMap<java.lang.Integer,java.lang.Boolean> set
public MemoizationFormula(Formula form)
form - The Formula to memoizepublic boolean evaluate(KripkeModel model, int state)
public Formula memoize()