Searched defs:assumption_index (Results 1 – 2 of 2) sorted by relevance
158 std::vector<Literal> ProcessLiteral(int assumption_index, Literal b) { in ProcessLiteral()197 void ClearInfo(int assumption_index) { in ClearInfo()203 void AddInfo(int assumption_index, Literal b) { in AddInfo()
1001 uint32_t assumption_index; member