Class PublicAnnouncement

java.lang.Object

Formula

PublicAnnouncement

public class PublicAnnouncement
extends Formula

Formula to evaluate the Public Announcement operator from PAC

Field Summary

Fields

Modifier and Type	Field and Description
private Formula	announcement
private Formula	formula

Constructor Summary

Constructors

Constructor and Description
PublicAnnouncement(Formula announcement, Formula formula) Create a new public announcement

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(KripkeModel model, int state) Evaluate a Formula in a state using the given model
java.lang.String	toString() Return a string representation of this Formula

Methods inherited from class Formula

evaluate, implies, memoize, negate, simplify

Methods inherited from class java.lang.Object

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

Field Detail

announcement

private Formula announcement

formula

private Formula formula

Constructor Detail

PublicAnnouncement

public PublicAnnouncement(Formula announcement,
                          Formula formula)

Create a new public announcement

Parameters:

announcement - The announcement that is made

formula - The formula which we want to test in the new model

Method Detail

evaluate

public boolean evaluate(KripkeModel model,
                        int state)

Evaluate a Formula in a state using the given model

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 evaluate in state `state`, `false` otherwise

toString

public java.lang.String toString()

Return a string representation of this Formula

Specified by:

toString in class Formula

Returns:

String representation