Ejemplos de FormulaFactory.makeEmptySet en Java

Ejemplo n.º 1

Archivo: SameTypeRewriter.java Proyecto: hhu-stups/rodin-ast

 @Override
 public Expression rewriteToEmptySet(SetExtension src) {
   final AtomicExpression expr = factory.makeEmptySet(src.getType(), src.getSourceLocation());
   return checkReplacement(src, rewriter.rewrite(expr));
 }