aima.logic.fol.kb.data
Class ReducedLiteral

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

public class ReducedLiteral
extends Literal

Constructor Summary

ReducedLiteral(AtomicSentence atom)

ReducedLiteral(AtomicSentence atom, boolean negated)

Method Summary

Literal	newInstance(AtomicSentence atom)
java.lang.String	toString()

Methods inherited from class aima.logic.fol.kb.data.Literal

equals, getAtomicSentence, hashCode, isNegativeLiteral, isPositiveLiteral

Methods inherited from class java.lang.Object

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

Constructor Detail

ReducedLiteral

public ReducedLiteral(AtomicSentence atom)

ReducedLiteral

public ReducedLiteral(AtomicSentence atom,
                      boolean negated)

Method Detail

newInstance

public Literal newInstance(AtomicSentence atom)

Overrides:

newInstance in class Literal

toString

public java.lang.String toString()

Overrides:

toString in class Literal