Searched refs:PCBDDCGraphNodeEqual (Results 1 – 1 of 1) sorted by relevance
19 static inline int PCBDDCGraphNodeEqual(const PCBDDCGraphNode *a, const PCBDDCGraphNode *b) in PCBDDCGraphNodeEqual() function36 …AP(HMapPCBDDCGraphNode, PCBDDCGraphNode *, PetscInt, PCBDDCGraphNodeHash, PCBDDCGraphNodeEqual, -1)