C++ (Cpp) make_next_stateの例

コード例 #1

ファイル: expr_util.cpp プロジェクト: huangshiyou/esbmc

void make_next_state(exprt &expr)
{
  Forall_operands(it, expr)
    make_next_state(*it);
    
  if(expr.id()=="symbol")
    expr.id("next_symbol");
}

コード例 #2

ファイル: expr_util.cpp プロジェクト: hc825b/static_analysis

void make_next_state(exprt &expr)
{
  Forall_operands(it, expr)
    make_next_state(*it);
    
  if(expr.id()==ID_symbol)
    expr.id(ID_next_symbol);
}