Gecode::Optimize::Detail Namespace Reference

Functions
void	validate_indicators (const ModelSnapshot &model)
std::vector< Variable >	global_variables (const GlobalPayload &)
void	validate_global_payload (const GlobalPayload &, ModelId, const std::vector< VariableData > &, bool require_active)
void	validate_globals (const ModelSnapshot &)
bool	global_satisfied (const GlobalPayload &, const std::vector< double > &, double integrality_tolerance, std::string &reason)

Function Documentation

validate_indicators()

void Gecode::Optimize::Detail::validate_indicators

(

const ModelSnapshot &

model

)

Structural validation of untrusted original indicator metadata/lowerings.

global_variables()

std::vector< Variable > Gecode::Optimize::Detail::global_variables

(

const GlobalPayload &

)

validate_global_payload()

void Gecode::Optimize::Detail::validate_global_payload	(	const GlobalPayload &	,
		ModelId	,
		const std::vector< VariableData > &	,
		bool	require_active )

validate_globals()

void Gecode::Optimize::Detail::validate_globals

(

const ModelSnapshot &

)

global_satisfied()

bool Gecode::Optimize::Detail::global_satisfied	(	const GlobalPayload &	,
		const std::vector< double > &	,
		double	integrality_tolerance,
		std::string &	reason )