Searched refs:addVariableRow (Results 1 – 2 of 2) sorted by relevance
40 bool addVariableRow(const SmallVector<int64_t, 8> &R) { in addVariableRow() function61 return addVariableRow(R); in addVariableRowFill()
156 NewSystem.addVariableRow(R); in isConditionImplied()