6 typedef ModelList<FuncInst *> func_inst_list_mt;
10 FuncInst(ModelAction *act);
13 //ModelAction * get_action() const { return action; }
14 const char * get_position() const { return position; }
15 void * get_location() const { return location; }
16 action_type get_type() const { return type; }
18 bool add_pred(FuncInst * other);
19 bool add_succ(FuncInst * other);
21 FuncInst * search_in_collision(ModelAction *act);
23 func_inst_list_mt * get_collisions() { return &collisions; }
24 func_inst_list_mt * get_preds() { return &predecessors; }
25 func_inst_list_mt * get_succs() { return &successors; }
29 //ModelAction * const action;
30 const char * position;
34 func_inst_list_mt collisions;
35 func_inst_list_mt predecessors;
36 func_inst_list_mt successors;