aima.logic.fol.kb.data
Class Literal

java.lang.Object
  aima.logic.fol.kb.data.Literal

Direct Known Subclasses:

ReducedLiteral

public class Literal
extends java.lang.Object

Constructor Summary

Literal(AtomicSentence atom)

Literal(AtomicSentence atom, boolean negated)

Method Summary

boolean	equals(java.lang.Object o)
AtomicSentence	getAtomicSentence()
int	hashCode()
boolean	isNegativeLiteral()
boolean	isPositiveLiteral()
Literal	newInstance(AtomicSentence atom)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Literal

public Literal(AtomicSentence atom)

Literal

public Literal(AtomicSentence atom,
               boolean negated)

Method Detail

newInstance

public Literal newInstance(AtomicSentence atom)

isPositiveLiteral

public boolean isPositiveLiteral()

isNegativeLiteral

public boolean isNegativeLiteral()

getAtomicSentence

public AtomicSentence getAtomicSentence()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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