globals.hpp File Reference

#include <gecode/optimize/model.hpp>

Namespaces
namespace	Gecode
namespace	Gecode::Optimize
	Optional sparse optimization models, backends and owning results.
namespace	Gecode::Optimize::Detail

Functions
GlobalConstraint	Gecode::Optimize::add_all_different (Model &, const std::vector< Variable > &, std::string name={})
	Retain pairwise inequality of the supplied integer-variable slots.
GlobalConstraint	Gecode::Optimize::add_element (Model &, Variable index, const std::vector< Variable > &elements, Variable result, std::int64_t index_base=0, std::string name={})
	Retain result == elements[index-index_base], including repeated handles.
GlobalConstraint	Gecode::Optimize::add_table (Model &, const std::vector< Variable > &, const std::vector< std::vector< std::int64_t > > &, std::string name={})
GlobalConstraint	Gecode::Optimize::add_cumulative (Model &, const std::vector< Variable > &starts, const std::vector< std::int64_t > &durations, const std::vector< std::int64_t > &heights, std::int64_t capacity, std::string name={})
GlobalConstraint	Gecode::Optimize::add_circuit (Model &, const std::vector< Variable > &successors, std::int64_t index_base=0, std::string name={})
GlobalConstraint	Gecode::Optimize::add_regular (Model &, const std::vector< Variable > &variables, std::uint64_t state_count, std::uint64_t initial_state, const std::vector< RegularTransition > &transitions, const std::vector< std::uint64_t > &final_states, std::string name={})
std::vector< Variable >	Gecode::Optimize::Detail::global_variables (const GlobalPayload &)
void	Gecode::Optimize::Detail::validate_global_payload (const GlobalPayload &, ModelId, const std::vector< VariableData > &, bool require_active)
void	Gecode::Optimize::Detail::validate_globals (const ModelSnapshot &)
bool	Gecode::Optimize::Detail::global_satisfied (const GlobalPayload &, const std::vector< double > &, double integrality_tolerance, std::string &reason)