public class Know extends Formula
| Modifier and Type | Field and Description |
|---|---|
private int |
agent |
private Formula |
formula |
| Constructor and Description |
|---|
Know(int agent,
Formula formula)
Create a new K-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 int agent
private Formula formula
public Know(int agent,
Formula formula)
agent - The agent to test the knowledge offormula - The formula of which we want to test if the agent knows itpublic boolean evaluate(KripkeModel model, int state)