Class KripkeModel

    • Method Summary

      Modifier and Type Method Description
      boolean satisfies​(FolFormula formula)
      Checks whether this interpretation satisfies the given formula.
      boolean satisfies​(MlBeliefSet beliefBase)
      Checks whether this interpretation satisfies the given knowledge base.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • KripkeModel

        public KripkeModel​(java.util.Set<? extends Interpretation<FolBeliefSet,​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​(FolFormula formula)
                          throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given formula.
        Parameters:
        formula - a formula .
        Returns:
        "true" if this interpretation satisfies the given formula.
        Throws:
        java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.
      • satisfies

        public boolean satisfies​(MlBeliefSet beliefBase)
                          throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given knowledge base.
        Parameters:
        beliefBase - a knowledge base.
        Returns:
        "true" if this interpretation satisfies the given knowledge base.
        Throws:
        java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object