- envelopeDealing() - Method in class Dealing
-
- envelopePanel - Variable in class Table.Initializer
-
- EnvelopePanel() - Constructor for class Table.Initializer.EnvelopePanel
-
- equals(Object) - Method in class Card
-
Check if this objects is equal to another object
- equals(Dealing) - Method in class Dealing
-
- evaluate(KripkeModel, int) - Method in class And
-
Evaluate a conjunction in a `state` using the given `model`
- evaluate(KripkeModel, int) - Method in class CommonKnow
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class EveryKnows
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class Formula
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel) - Method in class Formula
-
Evaluate a Formula in state 0 in the given model.
- evaluate(KripkeModel, int) - Method in class ImplicitKnow
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class Know
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class Maybe
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class MemoizationFormula
-
Evaluate a Formula in a state using the given model.
- evaluate(KripkeModel, int) - Method in class MultiCommon
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class MultiEvery
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class MultiImplicit
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class Neg
-
Evaluate the negation of the formula in `state` using `model`
- evaluate(KripkeModel, int) - Method in class Or
-
Evaluate a disjunction in a state using the given model
- evaluate(KripkeModel, int) - Method in class PrivateAnnouncement
-
Evaluate a Formula in a state using the given model
- evaluate(KripkeModel, int) - Method in class PropVar
-
Evaluate the propositional variable in `state` using `model`
- evaluate(KripkeModel, int) - Method in class PublicAnnouncement
-
Evaluate a Formula in a state using the given model
- EveryKnows - Class in <Unnamed>
-
Implements the E_g operator from S5
- EveryKnows(Set<Integer>, Formula) - Constructor for class EveryKnows
-
Create a new E_agents formula