aima.logic.propositional.algorithms
Class PLFCEntails.HornClause

java.lang.Object
  aima.logic.propositional.algorithms.PLFCEntails.HornClause

Enclosing class:

PLFCEntails

public class PLFCEntails.HornClause
extends java.lang.Object

Constructor Summary

PLFCEntails.HornClause(Sentence sentence)

Method Summary

boolean	equals(java.lang.Object o)
java.util.List	getPremiseSymbols()
int	hashCode()
Symbol	head()
boolean	premisesContainsSymbol(Symbol q)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PLFCEntails.HornClause

public PLFCEntails.HornClause(Sentence sentence)

Method Detail

head

public Symbol head()

premisesContainsSymbol

public boolean premisesContainsSymbol(Symbol q)

getPremiseSymbols

public java.util.List getPremiseSymbols()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object