Classes
class	SosConstraintData
class	ArrowOperatorProxy
class	IncrementalSolverImpl
struct	VariablesEquality

Typedefs
using	BaseSolverFactory

Functions
template<typename SosConstraint>
std::string	SosConstraintToString (SosConstraint constraint, absl::string_view sos_type_name)
absl::Status	CheckIdsRangeAndStrictlyIncreasing2 (absl::Span< const int64_t > ids)
template<typename DataProto>
absl::Status	UpdateBiMapFromMappedData (const absl::Span< const int64_t > deleted_ids, const google::protobuf::Map< int64_t, DataProto > &proto_map, IdNameBiMap &bimap)
absl::Status	ValidateInitArgs (const Solver::InitArgs &init_args, const SolverTypeProto solver_type)
absl::Status	CheckModelStorage (const NullableModelStorageCPtr storage, const ModelStorageCPtr expected_storage)
absl::StatusOr< SolveResult >	SolveImpl (const BaseSolverFactory solver_factory, const Model &model, const SolverType solver_type, const SolveArguments &solve_args, const SolveInterrupter *absl_nullable const user_canceller, const bool remove_names)
absl::StatusOr< ComputeInfeasibleSubsystemResult >	ComputeInfeasibleSubsystemImpl (const BaseSolverFactory solver_factory, const Model &model, const SolverType solver_type, const ComputeInfeasibleSubsystemArguments &compute_args, const SolveInterrupter *absl_nullable const user_canceller, const bool remove_names)
template<typename LeftIterable, typename RightIterable, typename Expression>
void	AddInnerProduct (const LeftIterable &left, const RightIterable &right, Expression &expr)
template<typename ConstraintData>
ConstraintData::IdType	AddAtomicConstraint (const ConstraintData &data, Elemental &elemental)
template<ElementType e>
AtomicConstraintTraits< ElementId< e > >::ConstraintData	GetAtomicConstraint (ElementId< e > id, const Elemental &elemental)
template<>
QuadraticConstraintId	AddAtomicConstraint (const QuadraticConstraintData &data, Elemental &elemental)
template<>
QuadraticConstraintData	GetAtomicConstraint (QuadraticConstraintId id, const Elemental &elemental)
template<>
IndicatorConstraintId	AddAtomicConstraint (const IndicatorConstraintData &data, Elemental &elemental)
template<>
IndicatorConstraintData	GetAtomicConstraint (IndicatorConstraintId id, const Elemental &elemental)
void	FormatModelStorageElement (std::ostream &ostr, ElementType element_type, absl::string_view name, int64_t id)
template<typename RowId, typename ColumnId>
SparseDoubleMatrixProto	EntriesToMatrixProto (std::vector< std::tuple< RowId, ColumnId, double > > entries)

Variables
std::atomic< int64_t >	debug_num_solver = 0
constexpr absl::string_view	kKeyHasNullModelStorage
constexpr absl::string_view	kObjectsFromOtherModelStorage
constexpr absl::string_view	kInputFromInvalidModelStorage
constexpr absl::string_view	kModelIsDestroyed
constexpr double	kZerosCleanup = 1.0 / 3.0

Typedef Documentation

◆ BaseSolverFactory

using operations_research::math_opt::internal::BaseSolverFactory

Initial value:

 
    absl::AnyInvocable<absl::StatusOr<std::unique_ptr<BaseSolver>>(
        SolverTypeProto solver_type, ModelProto model,
        SolveInterrupter* local_canceller) const>

Definition at line 51 of file solve_impl.h.

Function Documentation

◆ AddAtomicConstraint() [1/3]

template<typename ConstraintData>

ConstraintData::IdType operations_research::math_opt::internal::AddAtomicConstraint	(	const ConstraintData &	data,
		Elemental &	elemental )

◆ AddAtomicConstraint() [2/3]

template<>

IndicatorConstraintId operations_research::math_opt::internal::AddAtomicConstraint	(	const IndicatorConstraintData &	data,
		Elemental &	elemental )

inline

Definition at line 101 of file atomic_constraints_v2.h.

◆ AddAtomicConstraint() [3/3]

template<>

QuadraticConstraintId operations_research::math_opt::internal::AddAtomicConstraint	(	const QuadraticConstraintData &	data,
		Elemental &	elemental )

inline

Definition at line 47 of file atomic_constraints_v2.h.

◆ AddInnerProduct()

template<typename LeftIterable, typename RightIterable, typename Expression>

void operations_research::math_opt::internal::AddInnerProduct	(	const LeftIterable &	left,
		const RightIterable &	right,
		Expression &	expr )

Definition at line 1609 of file variable_and_expressions.h.

◆ CheckIdsRangeAndStrictlyIncreasing2()

absl::Status operations_research::math_opt::internal::CheckIdsRangeAndStrictlyIncreasing2 ( absl::Span< const int64_t > ids )

Definition at line 40 of file model_summary.cc.

◆ CheckModelStorage()

absl::Status operations_research::math_opt::internal::CheckModelStorage	(	const NullableModelStorageCPtr	storage,
		const ModelStorageCPtr	expected_storage )

inline

Definition at line 169 of file key_types.h.

◆ ComputeInfeasibleSubsystemImpl()

absl::StatusOr< ComputeInfeasibleSubsystemResult > operations_research::math_opt::internal::ComputeInfeasibleSubsystemImpl	(	const BaseSolverFactory	solver_factory,
		const Model &	model,
		const SolverType	solver_type,
		const ComputeInfeasibleSubsystemArguments &	compute_args,
		const SolveInterrupter *absl_nullable const	user_canceller,
		const bool	remove_names )

Definition at line 140 of file solve_impl.cc.

◆ EntriesToMatrixProto()

template<typename RowId, typename ColumnId>

SparseDoubleMatrixProto operations_research::math_opt::internal::EntriesToMatrixProto ( std::vector< std::tuple< RowId, ColumnId, double > > entries )

Definition at line 279 of file sparse_matrix.h.

◆ FormatModelStorageElement()

void operations_research::math_opt::internal::FormatModelStorageElement	(	std::ostream &	ostr,
		ElementType	element_type,
		absl::string_view	name,
		int64_t	id )

Definition at line 25 of file model_storage_item.cc.

◆ GetAtomicConstraint() [1/3]

template<ElementType e>

AtomicConstraintTraits< ElementId< e > >::ConstraintData operations_research::math_opt::internal::GetAtomicConstraint	(	ElementId< e >	id,
		const Elemental &	elemental )

◆ GetAtomicConstraint() [2/3]

template<>

IndicatorConstraintData operations_research::math_opt::internal::GetAtomicConstraint	(	IndicatorConstraintId	id,
		const Elemental &	elemental )

inline

Definition at line 122 of file atomic_constraints_v2.h.

◆ GetAtomicConstraint() [3/3]

template<>

QuadraticConstraintData operations_research::math_opt::internal::GetAtomicConstraint	(	QuadraticConstraintId	id,
		const Elemental &	elemental )

inline

Definition at line 67 of file atomic_constraints_v2.h.

◆ SolveImpl()

absl::StatusOr< SolveResult > operations_research::math_opt::internal::SolveImpl	(	const BaseSolverFactory	solver_factory,
		const Model &	model,
		const SolverType	solver_type,
		const SolveArguments &	solve_args,
		const SolveInterrupter *absl_nullable const	user_canceller,
		const bool	remove_names )

Definition at line 125 of file solve_impl.cc.

◆ SosConstraintToString()

template<typename SosConstraint>

std::string operations_research::math_opt::internal::SosConstraintToString	(	SosConstraint	constraint,
		absl::string_view	sos_type_name )

Definition at line 44 of file util.h.

◆ UpdateBiMapFromMappedData()

template<typename DataProto>

absl::Status operations_research::math_opt::internal::UpdateBiMapFromMappedData	(	const absl::Span< const int64_t >	deleted_ids,
		const google::protobuf::Map< int64_t, DataProto > &	proto_map,
		IdNameBiMap &	bimap )

Definition at line 245 of file model_summary.h.

◆ ValidateInitArgs()

absl::Status operations_research::math_opt::internal::ValidateInitArgs	(	const Solver::InitArgs &	init_args,
		const SolverTypeProto	solver_type )

Definition at line 237 of file solver.cc.

Variable Documentation

◆ debug_num_solver

OR_DLL std::atomic< int64_t > operations_research::math_opt::internal::debug_num_solver = 0

Definition at line 23 of file solver_debug.cc.

◆ kInputFromInvalidModelStorage

absl::string_view operations_research::math_opt::internal::kInputFromInvalidModelStorage

inlineconstexpr

Initial value:

=

"the input does not belong to the same model"

Definition at line 162 of file key_types.h.

◆ kKeyHasNullModelStorage

absl::string_view operations_research::math_opt::internal::kKeyHasNullModelStorage

inlineconstexpr

Initial value:

=

"The input key has null .storage()."

Definition at line 152 of file key_types.h.

◆ kModelIsDestroyed

absl::string_view operations_research::math_opt::internal::kModelIsDestroyed

constexpr

Initial value:

=

"can't call this function after the associated model has been destroyed"

Definition at line 110 of file update_tracker.h.

◆ kObjectsFromOtherModelStorage

absl::string_view operations_research::math_opt::internal::kObjectsFromOtherModelStorage

inlineconstexpr

Initial value:

=

"The input objects belongs to another model."

Definition at line 157 of file key_types.h.

◆ kZerosCleanup

double operations_research::math_opt::internal::kZerosCleanup = 1.0 / 3.0

constexpr

Definition at line 257 of file sparse_matrix.h.

Classes

Typedefs

Functions

Variables

Typedef Documentation

◆ BaseSolverFactory

Function Documentation

◆ AddAtomicConstraint() [1/3]

◆ AddAtomicConstraint() [2/3]

◆ AddAtomicConstraint() [3/3]

◆ AddInnerProduct()

◆ CheckIdsRangeAndStrictlyIncreasing2()

◆ CheckModelStorage()

◆ ComputeInfeasibleSubsystemImpl()

◆ EntriesToMatrixProto()

◆ FormatModelStorageElement()

◆ GetAtomicConstraint() [1/3]

◆ GetAtomicConstraint() [2/3]

◆ GetAtomicConstraint() [3/3]

◆ SolveImpl()

◆ SosConstraintToString()

◆ UpdateBiMapFromMappedData()

◆ ValidateInitArgs()

Variable Documentation

◆ debug_num_solver

◆ kInputFromInvalidModelStorage

◆ kKeyHasNullModelStorage

◆ kModelIsDestroyed

◆ kObjectsFromOtherModelStorage

◆ kZerosCleanup