Class PossibleWorld

All Implemented Interfaces:
Comparable<PossibleWorld>, Iterable<Proposition>, Collection<Proposition>, Interpretation<PlBeliefSet,PlFormula>

public class PossibleWorld extends InterpretationSet<Proposition,PlBeliefSet,PlFormula> implements Comparable<PossibleWorld>
This class represents a possible world of propositional logic, i.e. some set of propositions.
Author:
Matthias Thimm
  • Constructor Details

    • PossibleWorld

      public PossibleWorld()
      Creates a new empty possible world.
    • PossibleWorld

      public PossibleWorld(Collection<? extends Proposition> propositions)
      Creates a new possible world with the given set of propositions.
      Parameters:
      propositions - the propositions that are true in this possible world
  • Method Details