86 void propagateIncompleteStateBidirectionally();
88 std::vector<const Node*> nodesToVisit_;
89 std::vector<const Node*> nodesToVisitNext_;
90 std::unordered_set<const Node*> visited_;
91 std::unordered_set<const std::vector<const BiPropNode*>*> groups_;