Searched refs:checkExplicitRepresentation (Results 1 – 1 of 1) sorted by relevance
185 static bool checkExplicitRepresentation(const IntegerRelation &cst, in checkExplicitRepresentation() function234 if (!checkExplicitRepresentation(cst, foundRepr, dividend, pos)) in computeSingleVarRepr()247 if (!checkExplicitRepresentation(cst, foundRepr, dividend, pos)) in computeSingleVarRepr()