Class And

java.lang.Object

Formula

And

public class And
extends Formula

Implements the conjunction of two or more formulas

Field Summary

Fields

Modifier and Type	Field and Description
private Formula[]	formulas

Constructor Summary

Constructors

Constructor and Description
And(Formula... formulas) Initialize a new conjunction

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(KripkeModel model, int state) Evaluate a conjunction in a `state` using the given `model`
Formula[]	getConjuncts() Returns an array of the conjuncts
Formula	memoize() Make a formula remember its evaluation in a specific state.
Formula	negate() Negates a conjunction.
java.lang.String	toString() Return a string representation of this Formula

Methods inherited from class Formula

evaluate, implies, simplify

Methods inherited from class java.lang.Object

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

Field Detail

formulas

private Formula[] formulas

Constructor Detail

And

public And(Formula... formulas)

Initialize a new conjunction

Parameters:

formulas - The conjuncts of this conjunction

Method Detail

evaluate

public boolean evaluate(KripkeModel model,
                        int state)

Evaluate a conjunction 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 conjunction in

Returns:

`true` if all the conjuncts hold in state `state`, `false` otherwise

negate

public Formula negate()

Negates a conjunction. Returns a version that is faster to evaluate than using `Neg` if the conjunction is true

Overrides:

negate in class Formula

Returns:

Fast evaluating negation

memoize

public Formula memoize()

Description copied from class: Formula

Make a formula remember its evaluation in a specific state. Do not use if you work with different models

Overrides:

memoize in class Formula

Returns:

The memoized version of the formula

toString

public java.lang.String toString()

Return a string representation of this Formula

Specified by:

toString in class Formula

Returns:

String representation

getConjuncts

public Formula[] getConjuncts()

Returns an array of the conjuncts

Returns:

Conjuncts in this conjunction