public abstract class AtomConstant extends Object implements AtomObject
Title: Atom Constant
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
AtomConstant(aterm.ATermAppl value) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other) |
aterm.ATermAppl |
getValue()
Returns the aterm value this constant was initialized with.
|
int |
hashCode() |
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, waitacceptCopyright © 2019. All rights reserved.