@Test public void test() { VarPoolUtil.returnInt(TEMP0); final StmtUnfoldResult unfoldResult = StmtUtils.toExpr(stmt, VarIndexing.all(0)); final Collection<Expr<BoolType>> actualExprs = unfoldResult.getExprs(); Assert.assertEquals(expectedExprs, actualExprs); }
static StmtUnfoldResult toExpr(final Stmt stmt, final VarIndexing indexing) { return stmt.accept(StmtToExprVisitor.INSTANCE, indexing); }
StmtToExprTransformer { static StmtUnfoldResult toExpr(final Stmt stmt, final VarIndexing indexing) { return stmt.accept(StmtToExprVisitor.INSTANCE, indexing); } }
StmtToExprTransformer { static StmtUnfoldResult toExpr(final Stmt stmt, final VarIndexing indexing) { return stmt.accept(StmtToExprVisitor.INSTANCE, indexing); } private  StmtToExprTransformer(); }
StmtToExprTransformer { static StmtUnfoldResult toExpr(final Stmt stmt, final VarIndexing indexing) { return stmt.accept(StmtToExprVisitor.INSTANCE, indexing); } private  StmtToExprTransformer();  }
StmtToExprTransformer { static StmtUnfoldResult toExpr(final Stmt stmt, final VarIndexing indexing) { return stmt.accept(StmtToExprVisitor.INSTANCE, indexing); } private  StmtToExprTransformer();   }