Searched refs:fzn_sigint (Results 1 – 2 of 2) sorted by relevance
1720 opts.solver.fzn_sigint = ASTString("fzn_sigint"); in mark()1942 opts.solver.fzn_sigint.mark(); in mark()
1960 ASTString fzn_sigint; // NOLINT(readability-identifier-naming) member