public class UniqueIntID extends Constant
Constructor and Description |
---|
UniqueIntID(int id) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Term other) |
boolean |
equals(Object other) |
int |
getID() |
int |
hashCode() |
String |
rawToString()
Get a string representation of the internal constant value.
|
public int getID()
public int hashCode()
public boolean equals(Object other)
public int compareTo(Term other)
public String rawToString()
Constant
rawToString
in class Constant
Copyright © 2020 University of California, Santa Cruz. All rights reserved.