net.sf.tweety.logics.ml.semantics

Class KripkeModel

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

net.sf.tweety.logics.ml.semantics.KripkeModel

All Implemented Interfaces:

net.sf.tweety.commons.Interpretation<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

public class KripkeModel
extends net.sf.tweety.commons.AbstractInterpretation<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

This class models a Kripke model, i.e. a set of possible worlds (with evaluation functions) together with an accessibility relation.

Author:

Matthias Thimm, Anna Gessler

Constructor Summary

Constructors

Constructor and Description
KripkeModel(Set<? extends net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>> possibleWorlds, AccessibilityRelation accRelation) Creates a new Kripke model.

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(net.sf.tweety.logics.fol.syntax.FolFormula formula)
boolean	satisfies(ModalBeliefSet beliefBase)
String	toString()

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

KripkeModel

public KripkeModel(Set<? extends net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>> possibleWorlds,
                   AccessibilityRelation accRelation)

Creates a new Kripke model.

Parameters:

possibleWorlds - a set of interpretations.

accRelation - an accessibility relation under the given interpretations.

Method Detail

satisfies

public boolean satisfies(net.sf.tweety.logics.fol.syntax.FolFormula formula)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(ModalBeliefSet beliefBase)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

toString

public String toString()

Overrides:

toString in class Object