mit.ai.techniques
Class Proposition

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

public class Proposition

extends java.lang.Object

A propositional variable.

Field Summary

private java.lang.String

name

Constructor Summary

Proposition(java.lang.String theName)
Construct a propositional variable with a given name.

Method Summary

java.lang.String	getName() Return the name of the variable.
java.lang.String	toString() Return a string representation (the name).

Methods inherited from class java.lang.Object

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

Field Detail

name

private java.lang.String name

Constructor Detail

Proposition

public Proposition(java.lang.String theName)

Construct a propositional variable with a given name.

Method Detail

getName

public java.lang.String getName()

Return the name of the variable.

toString

public java.lang.String toString()

Return a string representation (the name).

Overrides:

toString in class java.lang.Object