Class IdealReasoner<T extends Formula>

    • Constructor Summary

      Constructors 
      Constructor Description
      IdealReasoner()  
    • 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