Java Sexp Examples

Example #1

File: Lustre2Sexp.java Project: elaghs/jkind

 @Override
 public Sexp visit(IntExpr e) {
   return Sexp.fromBigInt(e.value);
 }

Example #2

File: Lustre2Sexp.java Project: 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);
 }

Example #3

File: Lustre2Sexp.java Project: elaghs/jkind

 @Override
 public Sexp visit(BoolExpr e) {
   return Sexp.fromBoolean(e.value);
 }