Searched refs:InFeasibleFalse (Results 1 – 1 of 1) sorted by relevance
436 bool InFeasibleFalse; variable445 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()455 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()470 InFeasibleFalse = true; in markInfeasible()474 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()