* Release all dynamic memory */
| 885 | * Release all dynamic memory |
| 886 | */ |
| 887 | void |
| 888 | Function::doFinalization(void) |
| 889 | { |
| 890 | for_each(FuncList.begin(), FuncList.end(), std::ptr_fun(deleteFunction)); |
| 891 | |
| 892 | FuncList.clear(); |
| 893 | |
| 894 | std::vector<FactMgr*>::iterator i; |
| 895 | for (i = FMList.begin(); i != FMList.end(); ++i) { |
| 896 | delete (*i); |
| 897 | } |
| 898 | FMList.clear(); |
| 899 | FactMgr::doFinalization(); |
| 900 | } |
| 901 | |
| 902 | Function::~Function() |
| 903 | { |