Java Reference
Java Reference
- d -
- DECREMENT : Solver
- DEFAULT_ASSUMPTION_ORDER : SatParameters.MaxSatAssumptionOrder
- DEFAULT_ASSUMPTION_ORDER_VALUE : SatParameters.MaxSatAssumptionOrder
- DEFAULT_RESTART_ALGORITHMS_FIELD_NUMBER : SatParameters
- DELAYED_PRIORITY : Solver
- DEMANDS_FIELD_NUMBER : CumulativeConstraintProto , ReservoirConstraintProto , RoutesConstraintProto
- DETERMINISTIC_TIME_FIELD_NUMBER : CpSolverResponse
- DIFFN_USE_CUMULATIVE_FIELD_NUMBER : ConstraintSolverParameters
- DISABLE_SOLVE_FIELD_NUMBER : ConstraintSolverParameters
- DIVERSIFY_LNS_PARAMS_FIELD_NUMBER : SatParameters
- DL_MOVING_AVERAGE_RESTART : SatParameters.RestartAlgorithm
- DL_MOVING_AVERAGE_RESTART_VALUE : SatParameters.RestartAlgorithm
- DOMAIN_FIELD_NUMBER : CpObjectiveProto , IntegerVariableProto , LinearConstraintProto
- DOMAIN_INT_VAR : mainConstants
- DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER : DecisionStrategyProto
- DUAL : MPSolverParameters.LpAlgorithmValues
- DUAL_TOLERANCE : MPSolverParameters.DoubleParam
- DUAL_TOLERANCE_FIELD_NUMBER : MPSolverCommonParameters
- DUAL_VALUE_FIELD_NUMBER : MPSolutionResponse