Class MemoizationFormula

java.lang.Object

Formula

MemoizationFormula

public class MemoizationFormula
extends Formula

Formula that remembers its evaluation in a state

Field Summary

Fields

Modifier and Type	Field and Description
private Formula	form
private java.util.HashMap<java.lang.Integer,java.lang.Boolean>	set

Constructor Summary

Constructors

Constructor and Description
MemoizationFormula(Formula form) Create a new MemoizationFormula for `form`.

Method Summary

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

Methods inherited from class Formula

evaluate, implies, negate, simplify

Methods inherited from class java.lang.Object

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

Field Detail

form

private Formula form

set

private java.util.HashMap<java.lang.Integer,java.lang.Boolean> set

Constructor Detail

MemoizationFormula

public MemoizationFormula(Formula form)

Create a new MemoizationFormula for `form`. This object makes subsequent evaluations of this formula in a given state faster

Parameters:

form - The Formula to memoize

Method Detail

evaluate

public boolean evaluate(KripkeModel model,
                        int state)

Evaluate a Formula in a state using the given model. If this formula has already been evaluated in this state in A model before, return the value of that evaluation

Specified by:

evaluate in class Formula

Parameters:

model - The model used for evaluation

state - The state to evaluate the Formula in

Returns:

`true` if the Formula holds in state `state`, `false` otherwise

memoize

public Formula memoize()

A memoized version of this formula. Since this formula is already memoized, it returns this formula itself.

Overrides:

memoize in class Formula

Returns:

this

toString

public java.lang.String toString()

Return a string representation of this Formula

Specified by:

toString in class Formula

Returns:

String representation