索引 – D

d_weighted_spanning_tree Global constraints dag Global constraints data file command line dconnected Global constraints debug_mode Standard Library decision variable 见 variable decreasing Global constraints default Standard Library defines_var Standard Library deopt Standard Library, [1], [2], [3] DFA diffn Global constraints diffn_k Global constraints diffn_nonstrict Global constraints diffn_nonstrict_k Global constraints discrete_distribution Standard Library disjoint Global constraints disjunctive Global constraints disjunctive_strict Global constraints distribute Global constraints

div diverse_pairwise MiniZinc definitions for the MiniZinc diversity extension. diversity_aggregator MiniZinc definitions for the MiniZinc diversity extension. diversity_combinator MiniZinc definitions for the MiniZinc diversity extension. diversity_incremental MiniZinc definitions for the MiniZinc diversity extension. doc_comment Standard Library dom Standard Library dom_array Standard Library dom_array_occurring Standard Library dom_bounds_array Standard Library dom_size Standard Library dom_w_deg Standard Library domain reflection, [1] Standard Library domain_change_constraint Standard Library domain_propagation Standard Library dpath Global constraints dreachable Global constraints dsteiner Global constraints dtree Global constraints