Searched refs:all_nodes_set (Results 1 – 2 of 2) sorted by relevance
152 all_nodes_set = set(all_nodes)155 duplicated_node_number = len(all_nodes) - len(all_nodes_set)
557 all_nodes_set(ALL_OF(g.all_nodes)) {} // NB: all_nodes is *unordered* in lint()562 node_set all_nodes_set; in lint() member633 AT_ASSERT(std::includes(ALL_OF(all_nodes_set), ALL_OF(nodes_set))); in lint()634 AT_ASSERT(std::includes(ALL_OF(all_nodes_set), ALL_OF(inputs_set))); in lint()635 AT_ASSERT(std::includes(ALL_OF(all_nodes_set), ALL_OF(output_set))); in lint()642 node_set all_nodes_set( in lint() local649 AT_ASSERT(std::includes(ALL_OF(sum_set), ALL_OF(all_nodes_set))); in lint()