Searched refs:isFeasible (Results 1 – 4 of 4) sorted by relevance
79 bool isFeasible = b ? Assumption : !Assumption; in assumeAux() local80 return isFeasible ? State : nullptr; in assumeAux()125 bool isFeasible = (IsInRange == InRange); in assumeInclusiveRangeInternal() local126 return isFeasible ? State : nullptr; in assumeInclusiveRangeInternal()
667 if (!isFeasible(branch)) in generateNode()
2778 if (builder.isFeasible(true)) { in processBranch()2786 if (builder.isFeasible(false)) { in processBranch()
485 bool isFeasible(bool branch) { in isFeasible() function