Classes
struct	Annotation

struct	Argument

struct	Constraint

struct	Domain

struct	FlatzincSatParameters

struct	IntegerVariable

struct	LexerInfo

class	Model

class	ModelStatistics

struct	ParserContext

class	Presolver

struct	SolutionOutputSpecs

struct	VariableRefOrValue

struct	VariableRefOrValueArray

Functions
bool	CheckSolution (const Model &model, const std::function< int64(IntegerVariable *)> &evaluator)

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

Model	ParseFlatzincModel (const std::string &input, bool input_is_filename)

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 presolve)

bool	ContainsId (std::vector< Annotation > *annotations, const std::string &id)

bool	AllDomainsHaveOneValue (const std::vector< Domain > &domains)

int64	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 56 of file parser_util.cc.

◆ CheckSolution()

bool CheckSolution	(	const Model &	model,
		const std::function< int64(IntegerVariable *)> &	evaluator
	)

Definition at line 1263 of file checker.cc.

◆ ContainsId()

bool operations_research::fz::ContainsId	(	std::vector< Annotation > *	annotations,
		const std::string &	id
	)

Definition at line 43 of file parser_util.cc.

◆ ConvertAsIntegerOrDie()

int64 ConvertAsIntegerOrDie ( double d )

Definition at line 65 of file parser_util.cc.

◆ FixAndParseParameters()

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

Definition at line 61 of file fz.cc.

◆ FlattenAnnotations()

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

Definition at line 953 of file model.cc.

◆ Lookup()

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

Definition at line 75 of file parser_util.cc.

◆ ParseFile()

void operations_research::fz::ParseFile	(	const std::string &	filename,
		bool	presolve
	)

Definition at line 35 of file parser_main.cc.

◆ ParseFlatzincFile()

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

Definition at line 38 of file parser.cc.

◆ ParseFlatzincModel()

Model operations_research::fz::ParseFlatzincModel	(	const std::string &	input,
		bool	input_is_filename
	)

Definition at line 123 of file fz.cc.

◆ ParseFlatzincString()

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

Definition at line 60 of file parser.cc.

Classes

Functions