Searched refs:predId (Results 1 – 4 of 4) sorted by relevance
652 uint32_t predId;656 PredicateOpnd() : predId(0), predInBinary(0) {} in PredicateOpnd()657 PredicateOpnd(uint32_t id, uint16_t binaryId) : predId(id), predInBinary(binaryId) {} in PredicateOpnd()660 predId = id; in PredicateOpnd()664 uint32_t getId() const { return predId; } in getId()665 bool isNullPred() const { return predId == 0; } in isNullPred()
125 SymId predId=lit->functor()*2; in addSymIds() local126 ids.push(predId); in addSymIds()
483 if (const auto& predId = predecessorId(); !predId.isEmpty()) in predecessor() local484 if (auto* r = connection()->room(predId, statesFilter); in predecessor()
511 if (const auto& predId = predecessorId(); !predId.isEmpty()) in predecessor() local512 if (auto* r = connection()->room(predId, statesFilter); in predecessor()