Searched refs:exp_not_all_const (Results 1 – 1 of 1) sorted by relevance
801 std::vector<Node> exp_not_all_const; in getSimpleSymBreakPred() local879 exp_not_all_const.push_back(ecn.negate()); in getSimpleSymBreakPred()887 Assert(!exp_not_all_const.empty()); in getSimpleSymBreakPred()888 Node expaan = exp_not_all_const.size() == 1 in getSimpleSymBreakPred()889 ? exp_not_all_const[0] in getSimpleSymBreakPred()890 : nm->mkNode(OR, exp_not_all_const); in getSimpleSymBreakPred()