org.qedeq.kernel.bo.parser
Class TermAtom

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

public final class TermAtom
extends java.lang.Object

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

Version:

$Revision: 1.1 $

Author:

Michael Meyling

Constructor Summary

TermAtom(java.lang.String value)
Constructor.

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TermAtom

public TermAtom(java.lang.String value)

Constructor.

Parameters:

value - Term atom