Lib/Source/Translate.cpp
/**
 * Similar to 'simplify' but ensure that the result is a variable.
 */
Similar to 'simplify' but ensure that the result is a variable.
Similar to ' simplify ' but ensure that the result is a variable .
Expr::Ptr putInVar(Instr::List *seq, Expr::Ptr e) {
  if (e->tag() == Expr::VAR) {
    return e;
  }
  Var tmp = VarGen::fresh();
  *seq << varAssign(tmp, e);
  return mkVar(tmp);
}
Expr :: Ptr putInVar ( Instr :: List * seq , Expr :: Ptr e ) { if ( e -> tag ( ) == Expr :: VAR ) { return e ; } Var tmp = VarGen :: fresh ( ) ; * seq << varAssign ( tmp , e ) ; return mkVar ( tmp ) ; }
Similar to 'simplify' but ensure that the result is a variable.
Similar to ' simplify ' but ensure that the result is a variable .
//seq->back().comment("putInVar starts next");