public class MultiCommon extends Formula
| Modifier and Type | Field and Description |
|---|---|
private java.util.Set<java.lang.Integer> |
agents |
private boolean |
conjunction |
private Formula[] |
formulas |
| Constructor and Description |
|---|
MultiCommon(java.util.Set<java.lang.Integer> agents,
boolean conjunction,
Formula... forms) |
| 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[] formulas
private boolean conjunction
public MultiCommon(java.util.Set<java.lang.Integer> agents,
boolean conjunction,
Formula... forms)
public boolean evaluate(KripkeModel model, int state)