operations_research::fz Namespace Reference

Classes
struct	FlatzincSatParameters
struct	Domain
struct	Variable
struct	Argument
struct	Constraint
struct	Annotation
struct	SolutionOutputSpecs
class	Model
class	ModelStatistics
struct	ParserContext
struct	VarRefOrValue
struct	LexerInfo

Functions
bool	CheckSolution (const Model &model, const std::function< int64_t(Variable *)> &evaluator, const std::function< std::vector< int64_t >(Variable *)> &set_evaluator, SolverLogger *logger)
std::vector< char * >	FixAndParseParameters (int *argc, char ***argv)
Model	ParseFlatzincModel (const std::string &input, bool input_is_filename, SolverLogger *logger, absl::Duration *parse_duration)
void	LogInFlatzincFormat (const std::string &multi_line_input)
void	FlattenAnnotations (const Annotation &ann, std::vector< Annotation > *out)
bool	ParseFlatzincFile (const std::string &filename, Model *model)
bool	ParseFlatzincString (const std::string &input, Model *model)
void	ParseFile (const std::string &filename)
bool	ContainsId (std::vector< Annotation > *annotations, absl::string_view id)
bool	AllDomainsHaveOneValue (const std::vector< Domain > &domains)
int64_t	ConvertAsIntegerOrDie (double d)
template<class T>
const T &	Lookup (const std::vector< T > &v, int index)

Function Documentation

AllDomainsHaveOneValue()

bool operations_research::fz::AllDomainsHaveOneValue

(

const std::vector< Domain > &

domains

)

Definition at line 59 of file parser_util.cc.

CheckSolution()

bool operations_research::fz::CheckSolution	(	const Model &	model,
		const std::function< int64_t(Variable *)> &	evaluator,
		const std::function< std::vector< int64_t >(Variable *)> &	set_evaluator,
		SolverLogger *	logger )

Definition at line 1911 of file checker.cc.

ContainsId()

bool operations_research::fz::ContainsId	(	std::vector< Annotation > *	annotations,
		absl::string_view	id )

Definition at line 46 of file parser_util.cc.

ConvertAsIntegerOrDie()

int64_t operations_research::fz::ConvertAsIntegerOrDie

(

double

d

)

Definition at line 68 of file parser_util.cc.

FixAndParseParameters()

std::vector< char * > operations_research::fz::FixAndParseParameters	(	int *	argc,
		char ***	argv )

Definition at line 81 of file fz.cc.

FlattenAnnotations()

void operations_research::fz::FlattenAnnotations	(	const Annotation &	ann,
		std::vector< Annotation > *	out )

Definition at line 1221 of file model.cc.

LogInFlatzincFormat()

void operations_research::fz::LogInFlatzincFormat

(

const std::string &

multi_line_input

)

Definition at line 201 of file fz.cc.

Lookup()

template<class T>

const T & operations_research::fz::Lookup	(	const std::vector< T > &	v,
		int	index )

Definition at line 78 of file parser_util.cc.

ParseFile()

void operations_research::fz::ParseFile

(

const std::string &

filename

)

Definition at line 39 of file parser_main.cc.

ParseFlatzincFile()

bool operations_research::fz::ParseFlatzincFile	(	const std::string &	filename,
		Model *	model )

Definition at line 42 of file parser.cc.

ParseFlatzincModel()

Model operations_research::fz::ParseFlatzincModel	(	const std::string &	input,
		bool	input_is_filename,
		SolverLogger *	logger,
		absl::Duration *	parse_duration )

Definition at line 146 of file fz.cc.

ParseFlatzincString()

bool operations_research::fz::ParseFlatzincString	(	const std::string &	input,
		Model *	model )

Definition at line 67 of file parser.cc.