mit.ai.techniques
Class PositiveLiteral

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

public class PositiveLiteral

extends Literal

A positive (non-negated) literal.

Field Summary

private Proposition

proposition

Constructor Summary

PositiveLiteral(Proposition theProp)
Construct a positive literal for the given propositional variable.

Method Summary

Proposition	getProposition() Return the underlying propositional variable.
boolean	getValence() Returns true (this is a positive 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

PositiveLiteral

public PositiveLiteral(Proposition theProp)

Construct a positive 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 true (this is a positive 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