Searched refs:user_cut (Results 1 – 8 of 8) sorted by relevance
10 If you export FZN file with lazy_constraint/user_cut annotations,20 ann: user_cut;24 ann: MIP_cut = user_cut; %% MIP_cut: make sure no feasible solutions are cut off
41 if (call->ann().contains(constants().ann.user_cut)) { in check_ann_user_cut()
1631 ann.user_cut = new Id(Location(), ASTString("user_cut"), nullptr); in mark()1632 ann.user_cut->type(Type::ann()); in mark()1860 Expression::mark(ann.user_cut); in mark()
543 DS_Score_t user_cut ; /* client-supplied cutoff */ member
1870 Id* user_cut; // NOLINT(readability-identifier-naming) // MIP member