Closed maxvogel closed 9 years ago
the var2pos map might have to be used at several different locations, e.g. StatementVisitor::visit(shptr<LVDStatement> lvdstatement), where we want to convert the LVDStatement to FIRM.
StatementVisitor::visit(shptr<LVDStatement> lvdstatement)
Done.
the var2pos map might have to be used at several different locations, e.g.
StatementVisitor::visit(shptr<LVDStatement> lvdstatement)
, where we want to convert the LVDStatement to FIRM.