Skip to main content Module settings Copy item path Source HeuristicChoice RewriteConfig SolverArgs SolverFamilyIter An iterator over the variants of SolverFamily Channelling Whether a declaration may have more than one channelled representation. Heuristic Strategy used when a modelling decision has more than one applicable answer. Parser QuantifiedExpander Rewriter SolverFamily DEFAULT_HEURISTIC_SEED DEFAULT_MINION_DISCRETE_THRESHOLD alldifferent_encoding Explicit allDifferent strategy override for this compilation thread. amo_encoding Explicit AMO algorithm override for this compilation thread. begin_heuristic_all_choices Starts one replay of the x heuristic using the requested branch indices. cardinality_encoding Explicit cardinality encoder override for this compilation thread. channelling clear_heuristic_responses Clears any remaining interactive responses. comprehension_expander configured_rule_trace_enabled current_parser current_rewriter current_solver_family default_rule_trace_enabled element_encoding Explicit element strategy override for this compilation thread. heuristic heuristic_all_choices ints_need_representation Whether integers carry a representation choice for the solver being targeted. next_heuristic_all_index Selects the requested branch at the next x decision and records all available options. next_heuristic_interactive_index Selects an option for the interactive heuristic (i). next_heuristic_random_index Returns a deterministic pseudo-random index and advances the per-thread heuristic RNG. pb_encoding Explicit pseudo-Boolean encoder override for this compilation thread. rule_attempt_trace_enabled rule_trace_aggregates_enabled rule_trace_enabled select_minion_discrete_threshold Selects one threshold for a Minion model: the default, all bound, or all discrete.
Constraints requiring discrete variables still override the threshold. set_alldifferent_encoding Pin the allDifferent strategy, or let the heuristic choose an applicable composition. set_amo_encoding Pin the AMO algorithm, or allow the modelling heuristic to choose. set_cardinality_encoding Pin a cardinality provider/algorithm, or let the heuristic select it. set_channelling set_comprehension_expander set_current_parser set_current_rewriter set_current_solver_family set_default_rule_trace_enabled set_element_encoding Pin the element composition, or let the modelling heuristic select it. set_heuristic set_heuristic_responses Sets the 1-based answers consumed by the interactive heuristic (i). set_heuristic_seed set_minion_discrete_threshold Pins Minion’s domain threshold, or leaves it to the modelling heuristic. set_pb_encoding Pin a pseudo-Boolean provider/algorithm, or let the heuristic select it. set_rule_attempt_trace_enabled set_rule_trace_aggregates_enabled set_rule_trace_enabled set_table_encoding Pin the table composition, or let the modelling heuristic select it. table_encoding Explicit table strategy override for this compilation thread. try_current_solver_family The active solver family, or None if this thread has not set one. with_compact_heuristic Runs f with the compact heuristic in force, whatever the configured one is. with_solver_family Runs f as a rewrite for solver_family, then restores the surrounding solver context.