Interface Interpretation<B extends BeliefBase,​S extends Formula>

    • Method Summary

      Modifier and Type Method Description
      boolean satisfies​(B beliefBase)
      Checks whether this interpretation satisfies the given knowledge base.
      boolean satisfies​(java.util.Collection<S> formulas)
      Checks whether this interpretation satisfies all given formulas.
      boolean satisfies​(S formula)
      Checks whether this interpretation satisfies the given formula.
    • Method Detail

      • satisfies

        boolean satisfies​(S formula)
                   throws java.lang.IllegalArgumentException
        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

        boolean satisfies​(java.util.Collection<S> formulas)
                   throws java.lang.IllegalArgumentException
        Checks whether this interpretation satisfies all given formulas.
        Parameters:
        formulas - a collection of formulas.
        Returns:
        "true" if this interpretation satisfies all given formulas.
        Throws:
        java.lang.IllegalArgumentException - if at least one formula does not correspond to the expected language.
      • satisfies

        boolean satisfies​(B beliefBase)
                   throws java.lang.IllegalArgumentException
        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.