Class Or

java.lang.Object

Formula

Or

public class Or
extends Formula

Implements the disjunction of two or more Formulas

Field Summary

Fields

Modifier and Type	Field and Description
private Formula[]	formulas

Constructor Summary

Constructors

Constructor and Description
Or(Formula... formulas) Initialize a disjunction of two or more disjuncts

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(KripkeModel model, int state) Evaluate a disjunction in a state using the given model
Formula[]	getDisjuncts() Get the disjuncts in this disjunction
Formula	memoize() Make a formula remember its evaluation in a specific state.
Formula	simplify() Simplify this formula by checking if it is a disjunction of Common/General/Implicit knowledge for a group of agents
java.lang.String	toString() Return a string representation of this disjunction

Methods inherited from class Formula

evaluate, implies, negate

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

Or

public Or(Formula... formulas)

Initialize a disjunction of two or more disjuncts

Parameters:

formulas - The disjuncts of the disjunction

Method Detail

evaluate

public boolean evaluate(KripkeModel model,
                        int state)

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

Returns:

`true` if the disjunction holds in state `state`, `false` otherwise

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

simplify

public Formula simplify()

Simplify this formula by checking if it is a disjunction of Common/General/Implicit knowledge for a group of agents

Overrides:

simplify in class Formula

Returns:

`this` or a MultiCommon/MultiEvery/MultiImplicit

See Also:

MultiEvery, MultiCommon, MultiImplicit

toString

public java.lang.String toString()

Return a string representation of this disjunction

Specified by:

toString in class Formula

Returns:

String representation

getDisjuncts

public Formula[] getDisjuncts()

Get the disjuncts in this disjunction

Returns:

The disjuncts in this disjunction