aima.logic.fol
Class Fact

java.lang.Object
  aima.logic.fol.Fact

public class Fact
extends java.lang.Object

Author:

Ravi Mohan

Constructor Summary

Fact(Sentence sentence)

Method Summary

boolean	equals(java.lang.Object o)
int	hashCode()
FOLNode	predicate()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Fact

public Fact(Sentence sentence)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

predicate

public FOLNode predicate()

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