public class PrivateAnnouncement extends Formula
| Modifier and Type | Field and Description |
|---|---|
private java.util.Set<java.lang.Integer> |
agents |
private Formula |
announcement |
private Formula |
formula |
| Constructor and Description |
|---|
PrivateAnnouncement(java.util.Set<java.lang.Integer> agents,
Formula announcement,
Formula formula)
Create a new Private Announcement formula
|
| 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
|
private java.util.Set<java.lang.Integer> agents
private Formula announcement
private Formula formula
public PrivateAnnouncement(java.util.Set<java.lang.Integer> agents,
Formula announcement,
Formula formula)
agents - The agents to which the announcement is madeannouncement - The announcement that is madeformula - The formula which we want to evaluate in the new modelpublic boolean evaluate(KripkeModel model, int state)