protected ATermRealImpl(PureFactory factory, ATermList annos, double value) { super(factory, annos); this.value = value; setHashCode(HashFunctions.doobs(new Object[] {annos, new Double(value)})); }
protected ATermBlobImpl(PureFactory factory, ATermList annos, byte[] data) { super(factory, annos); this.data = data; setHashCode(HashFunctions.doobs(new Object[] {annos, data})); }