Searched defs:BCValue (Results 1 – 6 of 6) sorted by relevance
133 LatticeVal BCValue; in getFeasibleSuccessors() local
132 LatticeVal BCValue; in getFeasibleSuccessors() local
300 LatticeVal BCValue; in getFeasibleSuccessors() local
550 LatticeVal BCValue = getValueState(BI->getCondition()); in getFeasibleSuccessors() local619 LatticeVal BCValue = getValueState(BI->getCondition()); in isEdgeFeasible() local
563 LatticeVal BCValue = getValueState(BI->getCondition()); in getFeasibleSuccessors() local632 LatticeVal BCValue = getValueState(BI->getCondition()); in isEdgeFeasible() local
627 LatticeVal BCValue = getValueState(BI->getCondition()); in getFeasibleSuccessors() local