cp_solver_c.cc File Reference

#include "ortools/sat/c_api/cp_solver_c.h"
#include <string>
#include "absl/log/check.h"
#include "ortools/base/memutil.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/cp_model_solver.h"
#include "ortools/sat/model.h"
#include "ortools/sat/sat_parameters.pb.h"
#include "ortools/sat/util.h"

Go to the source code of this file.

Namespaces
namespace	operations_research
	OR-Tools root namespace.
namespace	operations_research::sat

Functions
void	SolveCpModelWithParameters (const void *creq, int creq_len, const void *cparams, int cparams_len, void **cres, int *cres_len)
void *	SolveCpNewEnv ()
void	SolveCpDestroyEnv (void *const cenv)
void	SolveCpStopSearch (void *cenv)
void	SolveCpInterruptible (void *const cenv, const void *creq, int creq_len, const void *cparams, int cparams_len, void **cres, int *cres_len)

Function Documentation

SolveCpDestroyEnv()

void SolveCpDestroyEnv

(

void *const

cenv

)

Definition at line 52 of file cp_solver_c.cc.

SolveCpInterruptible()

void SolveCpInterruptible	(	void *const	cenv,
		const void *	creq,
		int	creq_len,
		const void *	cparams,
		int	cparams_len,
		void **	cres,
		int *	cres_len )

Definition at line 60 of file cp_solver_c.cc.

SolveCpModelWithParameters()

void SolveCpModelWithParameters	(	const void *	creq,
		int	creq_len,
		const void *	cparams,
		int	cparams_len,
		void **	cres,
		int *	cres_len )

Definition at line 42 of file cp_solver_c.cc.

SolveCpNewEnv()

void * SolveCpNewEnv

(

)

Definition at line 50 of file cp_solver_c.cc.

SolveCpStopSearch()

void SolveCpStopSearch

(

void *

cenv

)

Definition at line 56 of file cp_solver_c.cc.