aima.logic.propositional.algorithms
Class TTEntails

java.lang.Object
  aima.logic.propositional.algorithms.TTEntails

public class TTEntails
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

TTEntails()

Method Summary

boolean	ttCheckAll(Sentence kbSentence, Sentence querySentence, java.util.List symbols, Model model)
boolean	ttEntails(KnowledgeBase kb, java.lang.String alpha)

Methods inherited from class java.lang.Object

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

Constructor Detail

TTEntails

public TTEntails()

Method Detail

ttEntails

public boolean ttEntails(KnowledgeBase kb,
                         java.lang.String alpha)

ttCheckAll

public boolean ttCheckAll(Sentence kbSentence,
                          Sentence querySentence,
                          java.util.List symbols,
                          Model model)