Class ImplicitKnow

java.lang.Object

Formula

ImplicitKnow

All Implemented Interfaces:

GroupKnow

public class ImplicitKnow
extends Formula
implements GroupKnow

Implements the I_g operator from S5

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<java.lang.Integer>	agents
private Formula	formula

Constructor Summary

Constructors

Constructor and Description
ImplicitKnow(java.util.Set<java.lang.Integer> agents, Formula formula) Create a new I_agents formula

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.util.Set<java.lang.Integer>	getAgents() Get the agents this operator works over
Formula	getFormula() Get the formula this operator works over
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

agents

private java.util.Set<java.lang.Integer> agents

formula

private Formula formula

Constructor Detail

ImplicitKnow

public ImplicitKnow(java.util.Set<java.lang.Integer> agents,
                    Formula formula)

Create a new I_agents formula

Parameters:

agents - The agents in the group

formula - The formula which we want to test for implicit knowledge

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

getFormula

public Formula getFormula()

Description copied from interface: GroupKnow

Get the formula this operator works over

Specified by:

getFormula in interface GroupKnow

Returns:

The formula for this operator

getAgents

public java.util.Set<java.lang.Integer> getAgents()

Description copied from interface: GroupKnow

Get the agents this operator works over

Specified by:

getAgents in interface GroupKnow

Returns:

The agents for this operator

toString

public java.lang.String toString()

Return a string representation of this Formula

Specified by:

toString in class Formula

Returns:

String representation