public class UniqueStringID extends Object implements Constant
UniqueStringID(String id)
int
compareTo(Term other)
boolean
equals(Object other)
String
getID()
hashCode()
toString()
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public UniqueStringID(String id)
public String getID()
public int hashCode()
hashCode
Term
Object
public boolean equals(Object other)
equals
public int compareTo(Term other)
compareTo
Comparable<Term>
public String toString()
toString
Copyright © 2018 University of California, Santa Cruz. All rights reserved.