Searched refs:InFeasibleFalse (Results 1 – 2 of 2) sorted by relevance
435 bool InFeasibleFalse; variable444 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()454 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()469 InFeasibleFalse = true; in markInfeasible()473 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()
407 bool InFeasibleFalse; variable414 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()424 InFeasibleTrue(!DstT), InFeasibleFalse(!DstF) { in BranchNodeBuilder()439 InFeasibleFalse = true; in markInfeasible()443 return branch ? !InFeasibleTrue : !InFeasibleFalse; in isFeasible()