コード例 #1
0
ファイル: Lustre2Sexp.java プロジェクト: elaghs/jkind
 @Override
 public Sexp visit(RealExpr e) {
   Sexp numerator = Sexp.fromBigInt(e.value.unscaledValue());
   Sexp denominator = Sexp.fromBigInt(BigDecimal.TEN.pow(e.value.scale()).toBigInteger());
   return new Cons("/", numerator, denominator);
 }
コード例 #2
0
ファイル: Lustre2Sexp.java プロジェクト: elaghs/jkind
 @Override
 public Sexp visit(IntExpr e) {
   return Sexp.fromBigInt(e.value);
 }