Searched refs:realNonFixed (Results 1 – 1 of 1) sorted by relevance
1588 int realNonFixed = 0; in simplify_bool_constraint() local1592 realNonFixed += static_cast<int>(al->size()); in simplify_bool_constraint()1596 realNonFixed--; in simplify_bool_constraint()1636 } else if (realNonFixed == 0) { in simplify_bool_constraint()1654 } else if (realNonFixed == 1) { in simplify_bool_constraint()