Searched refs:computeTermBoundsConstrainedCount (Results 1 – 1 of 1) sorted by relevance
5537 int computeTermBoundsConstrainedCount = 0; in computeTermBounds() local5680 if (constrainedAbove && constrainedBelow) computeTermBoundsConstrainedCount ++; in computeTermBounds()5684 computeTermBoundsConstrainedCount ++; in computeTermBounds()5687 …h shared", "number of constrained variables : ", int2string(computeTermBoundsConstrainedCount), " … in computeTermBounds()5689 return computeTermBoundsConstrainedCount; in computeTermBounds()