Searched refs:UnsignedCS (Results 1 – 1 of 1) sorted by relevance
255 ConstraintSystem UnsignedCS; member in __anon050fee910111::ConstraintInfo262 : UnsignedCS(FunctionArgs), SignedCS(FunctionArgs), DL(DL) { in ConstraintInfo()269 UnsignedCS.addVariableRow(VarPos.Coefficients); in ConstraintInfo()274 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()277 return Signed ? SignedCS.getValue2Index() : UnsignedCS.getValue2Index(); in getValue2Index()281 return Signed ? SignedCS : UnsignedCS; in getCS()284 return Signed ? SignedCS : UnsignedCS; in getCS()