}
/* @param other Preceding FuncInst in the same execution trace
- * Add other to predecessors if it has been added
+ * Add other to predecessors if it has been added
*
* @return false: other is already in predecessors
* true : other is added to precedessors
bool FuncInst::add_pred(FuncInst * other)
{
func_inst_list_mt::iterator it;
- for (it = predecessors.begin(); it != predecessors.end(); it++) {
+ for (it = predecessors.begin();it != predecessors.end();it++) {
FuncInst * inst = *it;
if (inst == other)
return false;
bool FuncInst::add_succ(FuncInst * other)
{
func_inst_list_mt::iterator it;
- for (it = successors.begin(); it != successors.end(); it++) {
+ for (it = successors.begin();it != successors.end();it++) {
FuncInst * inst = *it;
if ( inst == other )
return false;
action_type type = act->get_type();
func_inst_list_mt::iterator it;
- for (it = collisions.begin(); it != collisions.end(); it++) {
+ for (it = collisions.begin();it != collisions.end();it++) {
FuncInst * inst = *it;
if ( inst->get_type() == type )
return inst;