Searched refs:InFeasibleTrue (Results 1 – 1 of 1) sorted by relevance
434 bool InFeasibleTrue; variable444 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()454 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()467 InFeasibleTrue = true; in markInfeasible()473 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()