Ejemplos de IntToken.bigIntegerValue en Java

Ejemplo n.º 1

Archivo: BuiltinFloatOperations.java Proyecto: runtimeverification/k

 public static FloatToken int2float(
     IntToken term, IntToken precision, IntToken exponent, TermContext context) {
   return FloatToken.of(
       new BigFloat(
           term.bigIntegerValue(),
           new BinaryMathContext(precision.intValue(), exponent.intValue())),
       exponent.intValue());
 }