Class Neg

java.lang.Object

Formula

Neg

public class Neg
extends Formula

Implements the negation of a formula

Field Summary

Fields

Modifier and Type	Field and Description
private Formula	formula

Constructor Summary

Constructors

Constructor and Description
Neg(Formula form) Negates a formula

Method Summary

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

Methods inherited from class Formula

evaluate, implies, memoize

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

formula

private Formula formula

Constructor Detail

Neg

public Neg(Formula form)

Negates a formula

Parameters:

form - The formula to negate

Method Detail

evaluate

public boolean evaluate(KripkeModel model,
                        int state)

Evaluate the negation of the formula in `state` using `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 in the negation does not hold in `state`, `false` otherwise.

negate

public Formula negate()

Negate a formula, e.g. remove the not

Overrides:

negate in class Formula

Returns:

The formula that this object negates

simplify

public Formula simplify()

Description copied from class: Formula

Simplify a Formula for easier evaluation

Overrides:

simplify in class Formula

Returns:

A logically equivalent, possibly simplified formula

toString

public java.lang.String toString()

Return a string representation of this Formula

Specified by:

toString in class Formula

Returns:

String representation