Class Formula

java.lang.Object

Formula

Direct Known Subclasses:

And, CommonKnow, EveryKnows, ImplicitKnow, Know, Maybe, MemoizationFormula, MultiCommon, MultiEvery, MultiImplicit, Neg, Or, PrivateAnnouncement, PropVar, PublicAnnouncement

public abstract class Formula
extends java.lang.Object

Superclass for all Formulas

Constructor Summary

Constructors

Constructor and Description
Formula()

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(KripkeModel model) Evaluate a Formula in state 0 in the given model.
abstract boolean	evaluate(KripkeModel model, int state) Evaluate a Formula in a state using the given model
static Formula	implies(Formula premises, Formula conclusion) Return an implication.
Formula	memoize() Make a formula remember its evaluation in a specific state.
Formula	negate() Negate a formula.
Formula	simplify() Simplify a Formula for easier evaluation
abstract java.lang.String	toString() Return a string representation of this Formula

Methods inherited from class java.lang.Object

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

Constructor Detail

Formula

public Formula()

Method Detail

evaluate

public abstract boolean evaluate(KripkeModel model,
                                 int state)

Evaluate a Formula in a state using the given model

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

evaluate

public boolean evaluate(KripkeModel model)

Evaluate a Formula in state 0 in the given model. State 0 is the true state.

Parameters:

model - The model used for evaluation

Returns:

`true` if the Formula evaluate in state 0, `false` otherwise

negate

public Formula negate()

Negate a formula. Preferred way of creating negations

Returns:

The negation of a formula

simplify

public Formula simplify()

Simplify a Formula for easier evaluation

Returns:

A logically equivalent, possibly simplified formula

memoize

public Formula memoize()

Make a formula remember its evaluation in a specific state. Do not use if you work with different models

Returns:

The memoized version of the formula

implies

public static Formula implies(Formula premises,
                              Formula conclusion)

Return an implication. Since there is no implies class, this convenience method was added.

Parameters:

premises - The premises of the implication

conclusion - The conclusion of the implication

Returns:

The new implication

toString

public abstract java.lang.String toString()

Return a string representation of this Formula

Overrides:

toString in class java.lang.Object

Returns:

String representation