Searched refs:neg_branching_opt (Results 1 – 1 of 1) sorted by relevance
240 neg_branching_opt, // branching: set decision variable false enumerator314 { "neg-branching", '\0', FLAG_OPTION, neg_branching_opt },475 name = opt_name(neg_branching_opt); in branching_name()734 opt_name(neg_branching_opt), branching_name(params.branching)); in check_parameters()744 opt_name(neg_branching_opt), branching_name(params.branching)); in check_parameters()751 if (opt_set[neg_branching_opt]) { in check_parameters()754 opt_name(neg_branching_opt), branching_name(params.branching)); in check_parameters()980 case neg_branching_opt: in parse_command_line()