DoubleTerm
double
Term t = new DoubleTerm(3.3333); double d = ((DoubleTerm) t).doubleValue();
90919293949596979899100
throw new EvaluationException(this, 2, "undefined"); } else if (o instanceof Byte || o instanceof Short || o instanceof Integer || o instanceof Long) { return new IntegerTerm(((Number) o).intValue()); } else if (o instanceof Float || o instanceof Double) { return new DoubleTerm(((Number) o).doubleValue()); } else if (o instanceof String) { return SymbolTerm.makeSymbol((String) o); } else if (o instanceof Vector) { Vector v = (Vector) o; Term t = Prolog.Nil;
102103104105106107108109110111112
switch (type) { case 'I': token = new IntegerTerm(Integer.parseInt(s.toString())); break; case 'D': token = new DoubleTerm(Double.parseDouble(s.toString())); break; case 'S': char[] chars = s.toString().toCharArray(); token = Prolog.Nil; for (int i = chars.length; i > 0; i--) {
9899100101102103104105106107108
return cont; } catch (NumberFormatException e) { } try { if (!a1.unify( new DoubleTerm(Double.parseDouble(sb.toString())), engine.trail)) { return engine.fail(); } return cont; } catch (NumberFormatException e) {
979899100101102103104105106107