public class Neg extends Formula
| Modifier and Type | Method and Description |
|---|---|
boolean |
evaluate(KripkeModel model,
int state)
Evaluate the negation of the formula in `state` using `model`
|
Formula |
negate()
Negate a formula, e.g.
|
Formula |
simplify()
Simplify a Formula for easier evaluation
|
java.lang.String |
toString()
Return a string representation of this Formula
|
private Formula formula
public Neg(Formula form)
form - The formula to negatepublic boolean evaluate(KripkeModel model, int state)
public Formula negate()
public Formula simplify()
Formula