void updateIBfactors_rec(IBNode* root, std::vector<bool>& updatedlist);
void computeIBfactors(IBNode* root);
public:
NetworkIBModel();
explicit NetworkIBModel(const char* name);
void updateIBfactors_rec(IBNode* root, std::vector<bool>& updatedlist);
void computeIBfactors(IBNode* root);
public:
NetworkIBModel();
explicit NetworkIBModel(const char* name);
void updateIBfactors(NetworkAction* action, IBNode* from, IBNode* to, int remove);
void updateIBfactors(NetworkAction* action, IBNode* from, IBNode* to, int remove);