Class AbstractInterpretation<B extends BeliefBase,​S extends Formula>

    • Method Summary

      Modifier and Type Method Description
      boolean satisfies​(java.util.Collection<S> formulas)
      Checks whether this interpretation satisfies all given formulas.
      • Methods inherited from class java.lang.Object

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

      • AbstractInterpretation

        public AbstractInterpretation()
    • Method Detail

      • satisfies

        public boolean satisfies​(java.util.Collection<S> formulas)
                          throws java.lang.IllegalArgumentException
        Checks whether this interpretation satisfies all given formulas.
        Specified by:
        satisfies in interface Interpretation<B extends BeliefBase,​S extends Formula>
        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.