fz.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::fz

Functions
	ABSL_FLAG (double, time_limit, 0, "time limit in seconds.")
	ABSL_FLAG (bool, all_solutions, false, "Search for all solutions.")
	ABSL_FLAG (int, num_solutions, 0, "Maximum number of solution to search for, 0 means unspecified.")
	ABSL_FLAG (bool, free_search, false, "If false, the solver must follow the defined search." "If true, other search are allowed.")
	ABSL_FLAG (int, threads, 0, "Number of threads the solver will use.")
	ABSL_FLAG (bool, presolve, true, "Presolve the model to simplify it.")
	ABSL_FLAG (bool, statistics, false, "Print solver statistics after search.")
	ABSL_FLAG (bool, read_from_stdin, false, "Read the FlatZinc from stdin, not from a file.")
	ABSL_FLAG (int, fz_seed, 0, "Random seed")
	ABSL_FLAG (std::string, fz_model_name, "stdin", "Define problem name when reading from stdin.")
	ABSL_FLAG (std::string, params, "", "SatParameters as a text proto.")
	ABSL_DECLARE_FLAG (bool, log_prefix)
std::vector< char * >	FixAndParseParameters (int *argc, char ***argv)
Model	ParseFlatzincModel (const std::string &input, bool input_is_filename)
int	main (int argc, char **argv)

Function Documentation

ABSL_DECLARE_FLAG()

ABSL_DECLARE_FLAG	(	bool	,
		log_prefix
	)

ABSL_FLAG() [1/11]

ABSL_FLAG	(	bool	,
		all_solutions	,
		false	,
		"Search for all solutions."
	)

ABSL_FLAG() [2/11]

ABSL_FLAG	(	bool	,
		free_search	,
		false	,
		"If	false,
		the solver must follow the defined search." "If	true,
		other search are allowed."
	)

ABSL_FLAG() [3/11]

ABSL_FLAG	(	bool	,
		presolve	,
		true	,
		"Presolve the model to simplify it."
	)

ABSL_FLAG() [4/11]

ABSL_FLAG	(	bool	,
		read_from_stdin	,
		false	,
		"Read the FlatZinc from	stdin,
		not from a file."
	)

ABSL_FLAG() [5/11]

ABSL_FLAG	(	bool	,
		statistics	,
		false	,
		"Print solver statistics after search."
	)

ABSL_FLAG() [6/11]

ABSL_FLAG	(	double	,
		time_limit	,
		0	,
		"time limit in seconds."
	)

ABSL_FLAG() [7/11]

ABSL_FLAG	(	int	,
		fz_seed	,
		0	,
		"Random seed"
	)

ABSL_FLAG() [8/11]

ABSL_FLAG	(	int	,
		num_solutions	,
		0	,
		"Maximum number of solution to search	for,
		0 means unspecified."
	)

ABSL_FLAG() [9/11]

ABSL_FLAG	(	int	,
		threads	,
		0	,
		"Number of threads the solver will use."
	)

ABSL_FLAG() [10/11]

ABSL_FLAG	(	std::string	,
		fz_model_name	,
		"stdin"	,
		"Define problem name when reading from stdin."
	)

ABSL_FLAG() [11/11]

ABSL_FLAG	(	std::string	,
		params	,
		""	,
		"SatParameters as a text proto."
	)

main()

int main	(	int	argc,
		char **	argv
	)

Examples

nurses_cp.cc, tsp.cc, and vrp.cc.

Definition at line 165 of file fz.cc.