Searched refs:nextIsLit (Results 1 – 1 of 1) sorted by relevance
1343 BoolInt nextIsLit; in GetOptimum() local1496 nextIsLit = False; in GetOptimum()1518 nextIsLit = True; in GetOptimum()1552 nextIsLit = False; in GetOptimum()1564 if (!nextIsLit in GetOptimum()