public class UniqueStringID extends Constant
Constructor and Description |
---|
UniqueStringID(String id) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Term other) |
boolean |
equals(Object other) |
String |
getID() |
int |
hashCode() |
String |
rawToString()
Get a string representation of the internal constant value.
|
public UniqueStringID(String id)
public String 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.