public class And extends Formula
| Constructor and Description |
|---|
And(Formula... formulas)
Initialize a new conjunction
|
| 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
|
private Formula[] formulas
public And(Formula... formulas)
formulas - The conjuncts of this conjunctionpublic boolean evaluate(KripkeModel model, int state)
public Formula negate()
public Formula memoize()
Formulapublic java.lang.String toString()
public Formula[] getConjuncts()