Lines Matching refs:left_parent
28 left_parent = -1; in AigNode()
37 if (left_parent != other.left_parent) return false; in operator ==()
47 h = mkhash(h, left_parent); in hash()
79 if (node.left_parent > node.right_parent) { in node2index()
81 std::swap(n.left_parent, n.right_parent); in node2index()
150 bool nA_bool = nA.portbit < 0 && nA.left_parent < 0 && nA.right_parent < 0; in and_gate()
151 bool nB_bool = nB.portbit < 0 && nB.left_parent < 0 && nB.right_parent < 0; in and_gate()
175 node.left_parent = A; in and_gate()
477 if (nodes[i].left_parent >= 0) in Aig()
478 used_old_ids.insert(nodes[i].left_parent); in Aig()
486 nodes[i].left_parent = old_to_new_ids.at(nodes[i].left_parent); in Aig()