public String getValue() { return value; }
// END-Term // public override bool Equals(Object o) { if (this == o) { return(true); } if (!(o is Constant)) { return(false); } Constant c = (Constant)o; return(c.getValue().Equals(getValue())); }