mit.ai.techniques
Class NegativeLiteral

java.lang.Object
  |
  +--mit.ai.techniques.Literal
        |
        +--mit.ai.techniques.NegativeLiteral

public class NegativeLiteral

extends Literal

A negative literal.

Field Summary

private Proposition

proposition

Constructor Summary

NegativeLiteral(Proposition theProp)
Construct a negative literal for the given propositional variable.

Method Summary

Proposition	getProposition() Return the underlying propositional variable.
boolean	getValence() Returns false (this is a negative literal).
java.lang.String	toString() Returns the literal as a string.

Methods inherited from class mit.ai.techniques.Literal

isNegation

Methods inherited from class java.lang.Object

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

Field Detail

proposition

private Proposition proposition

Constructor Detail

NegativeLiteral

public NegativeLiteral(Proposition theProp)

Construct a negative literal for the given propositional variable.

Method Detail

getProposition

public Proposition getProposition()

Return the underlying propositional variable.

Overrides:

getProposition in class Literal

getValence

public boolean getValence()

Returns false (this is a negative literal).

Overrides:

getValence in class Literal

toString

public java.lang.String toString()

Returns the literal as a string.

Overrides:

toString in class java.lang.Object