Class MultiCommon

java.lang.Object

Formula

MultiCommon

public class MultiCommon
extends Formula

A class to make it faster to evaluate disjunctions or conjunctions of Common Knowledge for the same group of agents by evaluating multiple formulas at the same time

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<java.lang.Integer>	agents
private boolean	conjunction
private Formula[]	formulas

Constructor Summary

Constructors

Constructor and Description
MultiCommon(java.util.Set<java.lang.Integer> agents, boolean conjunction, Formula... forms)

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

agents

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

formulas

private Formula[] formulas

conjunction

private boolean conjunction

Constructor Detail

MultiCommon

public MultiCommon(java.util.Set<java.lang.Integer> agents,
                   boolean conjunction,
                   Formula... forms)

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 holds 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