Class QbPossibleWorld

java.lang.Object
All Implemented Interfaces:
Comparable<PossibleWorld>, Iterable<Proposition>, Collection<Proposition>, Interpretation<PlBeliefSet,PlFormula>

public class QbPossibleWorld extends InterpretationSet<Proposition,PlBeliefSet,PlFormula> implements Comparable<PossibleWorld>
This class represents a possible world of quantified boolean logic, i.e. some set of propositions.
Author:
Anna Gessler, Matthias Thimm