Searched refs:UnsignedCS (Results 1 – 1 of 1) sorted by relevance
269 ConstraintSystem UnsignedCS; member in __anon87d6bc870111::ConstraintInfo276 : UnsignedCS(FunctionArgs), SignedCS(FunctionArgs), DL(DL) { in ConstraintInfo()283 UnsignedCS.addVariableRow(VarPos.Coefficients); in ConstraintInfo()288 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()291 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()295 return Signed ? SignedCS : UnsignedCS; in getCS()298 return Signed ? SignedCS : UnsignedCS; in getCS()