org.qedeq.kernel.parser
Class Atom

java.lang.Object
  org.qedeq.kernel.parser.Atom

public final class Atom

extends Object

Parsed atom, this is a term constant, or an formula constant.

Version:

$Revision: 1.2 $

Constructor Summary

Atom(String value)
Constructor.

Method Summary

(package private) String

getValue() Get atom value.

Methods inherited from class java.lang.Object

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

Constructor Detail

Atom

public Atom(String value)

Constructor.

Parameters:

value - Term atom

Method Detail

getValue

final String getValue()

Get atom value.

Returns:

Value.