public class Atom
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Atom |
create(java.lang.String s)
Create an Atom object for this string.
|
boolean |
equals(java.lang.Object that)
Checking equality of 2 atoms.
|
int |
hashCode()
Return the hash code for the name.
|
java.lang.String |
toString()
Return the string represented by the Atom.
|
public static Atom create(java.lang.String s)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object that)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object