92 void propagateIncompleteStateBidirectionally();
94 std::vector<const Node*> nodesToVisit_;
95 std::vector<const Node*> nodesToVisitNext_;
96 std::unordered_set<const Node*> visited_;
97 std::unordered_set<const std::vector<const BiPropNode*>*> groups_;