mit.ai.techniques
Class Literal

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

Direct Known Subclasses:

NegativeLiteral, PositiveLiteral

public abstract class Literal

extends java.lang.Object

An abstract base class for literals.

Constructor Summary

Literal()

Method Summary

abstract Proposition	getProposition() Return the proposition (variable) for this literal.
abstract boolean	getValence() Check if the literal is positive or negative.
boolean	isNegation(Literal l) This is the negation of l if it has the same proposition and opposite valence.

Methods inherited from class java.lang.Object

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

Constructor Detail

Literal

public Literal()

Method Detail

getProposition

public abstract Proposition getProposition()

Return the proposition (variable) for this literal.

getValence

public abstract boolean getValence()

Check if the literal is positive or negative.

isNegation

public boolean isNegation(Literal l)

This is the negation of l if it has the same proposition and opposite valence.