Class PreferredReasoner<T extends Formula>

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<AbaExtension<T>> getModels​(AbaTheory<T> abat)
      Returns a characterizing model of the given belief base
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait