/** * Appends a string representation of this term to the buffer given as argument. * * @param buffer the buffer to which a string represention of this term is appended. */ @Override public void toStringBuilder(java.lang.StringBuilder buffer) { buffer.append("RelExpMoreEqual("); _a5.toStringBuilder(buffer); buffer.append(")"); }
/** * Apply a conversion on the ATerm contained in the String and returns a parser.rec.types.RelExp * from it * * @param trm ATerm to convert into a Gom term * @param atConv ATerm Converter used to convert the ATerm * @return the Gom term */ public static parser.rec.types.RelExp fromTerm( aterm.ATerm trm, tom.library.utils.ATermConverter atConv) { trm = atConv.convert(trm); if (trm instanceof aterm.ATermAppl) { aterm.ATermAppl appl = (aterm.ATermAppl) trm; if (symbolName.equals(appl.getName()) && !appl.getAFun().isQuoted()) { return make(parser.rec.types.AritExp.fromTerm(appl.getArgument(0), atConv)); } } return null; }
/** * Compute a hashcode for this term. (for internal use) * * @return a hash value */ protected int hashFunction() { int a, b, c; /* Set up the internal state */ a = 0x9e3779b9; /* the golden ratio; an arbitrary value */ b = (774025562 << 8); c = getArity(); /* -------------------------------------- handle most of the key */ /* ------------------------------------ handle the last 11 bytes */ a += (_a5.hashCode()); a -= b; a -= c; a ^= (c >> 13); b -= c; b -= a; b ^= (a << 8); c -= a; c -= b; c ^= (b >> 13); a -= b; a -= c; a ^= (c >> 12); b -= c; b -= a; b ^= (a << 16); c -= a; c -= b; c ^= (b >> 5); a -= b; a -= c; a ^= (c >> 3); b -= c; b -= a; b ^= (a << 10); c -= a; c -= b; c ^= (b >> 15); /* ------------------------------------------- report the result */ return c; }