Interface BeliefSetConsistencyTester<T extends Formula>

    • Method Summary

      Modifier and Type Method Description
      boolean isConsistent​(java.util.Collection<T> formulas)
      Checks whether the given collection of formulas is consistent.
      boolean isConsistent​(BeliefSet<T,​?> beliefSet)
      Checks whether the given belief base is consistent.
      boolean isConsistent​(T formula)
      Checks whether the given formula is consistent.
    • Method Detail

      • isConsistent

        boolean isConsistent​(BeliefSet<T,​?> beliefSet)
        Description copied from interface: ConsistencyTester
        Checks whether the given belief base is consistent.
        Specified by:
        isConsistent in interface ConsistencyTester<T extends Formula>
        Parameters:
        beliefSet - a belief base.
        Returns:
        "true" iff the given belief base is consistent.
      • isConsistent

        boolean isConsistent​(java.util.Collection<T> formulas)
        Checks whether the given collection of formulas is consistent.
        Parameters:
        formulas - a collection of formulas.
        Returns:
        "true" iff the given collection of formulas is consistent.
      • isConsistent

        boolean isConsistent​(T formula)
        Checks whether the given formula is consistent.
        Parameters:
        formula - a formulas.
        Returns:
        "true" iff the formula is consistent.