org.qedeq.kernel.parser
Class TermAtom

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

public final class TermAtom

extends Object

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

Version:

$Revision: 1.1 $

Constructor Summary

TermAtom(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

TermAtom

public TermAtom(String value)

Constructor.

Parameters:

value - Term atom

Method Detail

getValue

final String getValue()

Get atom value.

Returns:

Value.