OR-Tools  8.2
cp_model_fz_solver.cc File Reference

Go to the source code of this file.

Namespaces

 operations_research
 The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
 
 operations_research::sat
 

Functions

 ABSL_FLAG (bool, use_flatzinc_format, true, "Output uses the flatzinc format")
 
 ABSL_FLAG (int64, fz_int_max, int64{1}<< 50, "Default max value for unbounded integer variables.")
 
void SolveFzWithCpModelProto (const fz::Model &fz_model, const fz::FlatzincSatParameters &p, const std::string &sat_params)
 

Function Documentation

◆ ABSL_FLAG() [1/2]

ABSL_FLAG ( bool  ,
use_flatzinc_format  ,
true  ,
"Output uses the flatzinc format"   
)

◆ ABSL_FLAG() [2/2]

ABSL_FLAG ( int64  ,
fz_int_max  ,
int64{1}<<  50,
"Default max value for unbounded integer variables."   
)

Variable Documentation

◆ constant_value_to_index

absl::flat_hash_map<int64, int> constant_value_to_index

Definition at line 112 of file cp_model_fz_solver.cc.

◆ fz_var_to_index

absl::flat_hash_map<fz::IntegerVariable*, int> fz_var_to_index

Definition at line 111 of file cp_model_fz_solver.cc.

◆ parameters

SatParameters parameters

Definition at line 108 of file cp_model_fz_solver.cc.

◆ proto

CpModelProto proto

Definition at line 107 of file cp_model_fz_solver.cc.

◆ start_size_opt_tuple_to_interval

absl::flat_hash_map<std::tuple<int, int, int>, int> start_size_opt_tuple_to_interval

Definition at line 114 of file cp_model_fz_solver.cc.