Searched refs:d_nodeId (Results 1 – 1 of 1) sorted by relevance
323 EqualityNodeId d_nodeId; variable334 d_nodeId(null_edge), d_nextId(null_edge), d_mergeType(MERGED_THROUGH_CONGRUENCE) {} in EqualityEdge()337 d_nodeId(nodeId), d_nextId(nextId), d_mergeType(type), d_reason(reason) {} in EqualityEdge()343 EqualityNodeId getNodeId() const { return d_nodeId; } in getNodeId()