Searched refs:InFeasibleFalse (Results 1 – 1 of 1) sorted by relevance
442 bool InFeasibleFalse; variable451 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()461 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()476 InFeasibleFalse = true; in markInfeasible()480 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()