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 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 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 * > FixAndParseParameters	(	int *	argc,
		char ***	argv
	)

Definition at line 63 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 & Lookup	(	const std::vector< T > &	v,
		int	index
	)

Definition at line 75 of file parser_util.cc.

◆ ParseFile()

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

Definition at line 37 of file parser_main.cc.

◆ ParseFlatzincFile()

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

Definition at line 38 of file parser.cc.

◆ ParseFlatzincModel()

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

Definition at line 125 of file fz.cc.

◆ ParseFlatzincString()

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

Definition at line 60 of file parser.cc.

Classes

Functions