Classes
struct	swig_type_info

struct	swig_cast_info

struct	swig_module_info

struct	swig_const_info

struct	SwigPyClientData

struct	SwigPyObject

struct	SwigPyPacked

struct	GCItem

struct	GCItem_var

struct	GCItem_Object

struct	GCItem_T< Type >

struct	GCArray_T< Type >

class	DirectorException

class	DirectorTypeMismatchException

class	DirectorMethodException

class	DirectorPureVirtualException

class	Guard

class	Director

class	SwigPtr_PyObject

struct	SwigVar_PyObject

class	SharedPyPtr

struct	swig_globalvar

struct	swig_varlinkobject

Namespaces
	Swig

	swig

Macros
#define	SWIGPYTHON

#define	SWIG_DIRECTORS

#define	SWIG_PYTHON_THREADS

#define	SWIG_PYTHON_DIRECTOR_NO_VTABLE

#define	SWIGTEMPLATEDISAMBIGUATOR

#define	SWIGINLINE

#define	SWIGUNUSED

#define	SWIGUNUSEDPARM(p) p SWIGUNUSED

#define	SWIGINTERN static SWIGUNUSED

#define	SWIGINTERNINLINE SWIGINTERN SWIGINLINE

#define	SWIGEXPORT

#define	SWIGSTDCALL

#define	SWIG_RUNTIME_VERSION "4"

#define	SWIG_TYPE_TABLE_NAME

#define	SWIGRUNTIME SWIGINTERN

#define	SWIGRUNTIMEINLINE SWIGRUNTIME SWIGINLINE

#define	SWIG_BUFFER_SIZE 1024

#define	SWIG_POINTER_DISOWN 0x1

#define	SWIG_CAST_NEW_MEMORY 0x2

#define	SWIG_POINTER_NO_NULL 0x4

#define	SWIG_POINTER_OWN 0x1

#define	SWIG_OK (0)

#define	SWIG_ERROR (-1)

#define	SWIG_IsOK(r) (r >= 0)

#define	SWIG_ArgError(r) ((r != SWIG_ERROR) ? r : SWIG_TypeError)

#define	SWIG_CASTRANKLIMIT (1 << 8)

#define	SWIG_NEWOBJMASK (SWIG_CASTRANKLIMIT << 1)

#define	SWIG_TMPOBJMASK (SWIG_NEWOBJMASK << 1)

#define	SWIG_BADOBJ (SWIG_ERROR)

#define	SWIG_OLDOBJ (SWIG_OK)

#define	SWIG_NEWOBJ (SWIG_OK \| SWIG_NEWOBJMASK)

#define	SWIG_TMPOBJ (SWIG_OK \| SWIG_TMPOBJMASK)

#define	SWIG_AddNewMask(r) (SWIG_IsOK(r) ? (r \| SWIG_NEWOBJMASK) : r)

#define	SWIG_DelNewMask(r) (SWIG_IsOK(r) ? (r & ~SWIG_NEWOBJMASK) : r)

#define	SWIG_IsNewObj(r) (SWIG_IsOK(r) && (r & SWIG_NEWOBJMASK))

#define	SWIG_AddTmpMask(r) (SWIG_IsOK(r) ? (r \| SWIG_TMPOBJMASK) : r)

#define	SWIG_DelTmpMask(r) (SWIG_IsOK(r) ? (r & ~SWIG_TMPOBJMASK) : r)

#define	SWIG_IsTmpObj(r) (SWIG_IsOK(r) && (r & SWIG_TMPOBJMASK))

#define	SWIG_AddCast(r) (r)

#define	SWIG_CheckState(r) (SWIG_IsOK(r) ? 1 : 0)

#define	SWIG_UnknownError -1

#define	SWIG_IOError -2

#define	SWIG_RuntimeError -3

#define	SWIG_IndexError -4

#define	SWIG_TypeError -5

#define	SWIG_DivisionByZero -6

#define	SWIG_OverflowError -7

#define	SWIG_SyntaxError -8

#define	SWIG_ValueError -9

#define	SWIG_SystemError -10

#define	SWIG_AttributeError -11

#define	SWIG_MemoryError -12

#define	SWIG_NullReferenceError -13

#define	Py_TYPE(op) ((op)->ob_type)

#define	SWIG_Python_str_FromFormat PyString_FromFormat

#define	SWIG_Python_str_DelForPy3(x)

#define	PyObject_DEL PyObject_Del

#define	SWIGPY_USE_CAPSULE

#define	SWIGPY_CAPSULE_NAME ("swig_runtime_data" SWIG_RUNTIME_VERSION ".type_pointer_capsule" SWIG_TYPE_TABLE_NAME)

#define	PyDescr_TYPE(x) (((PyDescrObject *)(x))->d_type)

#define	PyDescr_NAME(x) (((PyDescrObject *)(x))->d_name)

#define	Py_hash_t long

#define	SWIG_PYTHON_USE_GIL

#define	SWIG_PYTHON_INITIALIZE_THREADS PyEval_InitThreads()

#define	SWIG_PYTHON_THREAD_BEGIN_BLOCK PyGILState_STATE _swig_thread_block = PyGILState_Ensure()

#define	SWIG_PYTHON_THREAD_END_BLOCK PyGILState_Release(_swig_thread_block)

#define	SWIG_PYTHON_THREAD_BEGIN_ALLOW PyThreadState *_swig_thread_allow = PyEval_SaveThread()

#define	SWIG_PYTHON_THREAD_END_ALLOW PyEval_RestoreThread(_swig_thread_allow)

#define	SWIG_PY_POINTER 4

#define	SWIG_PY_BINARY 5

#define	SWIG_Python_ConvertPtr(obj, pptr, type, flags) SWIG_Python_ConvertPtrAndOwn(obj, pptr, type, flags, 0)

#define	SWIG_ConvertPtr(obj, pptr, type, flags) SWIG_Python_ConvertPtr(obj, pptr, type, flags)

#define	SWIG_ConvertPtrAndOwn(obj, pptr, type, flags, own) SWIG_Python_ConvertPtrAndOwn(obj, pptr, type, flags, own)

#define	SWIG_NewPointerObj(ptr, type, flags) SWIG_Python_NewPointerObj(NULL, ptr, type, flags)

#define	SWIG_InternalNewPointerObj(ptr, type, flags) SWIG_Python_NewPointerObj(NULL, ptr, type, flags)

#define	SWIG_CheckImplicit(ty) SWIG_Python_CheckImplicit(ty)

#define	SWIG_AcquirePtr(ptr, src) SWIG_Python_AcquirePtr(ptr, src)

#define	swig_owntype int

#define	SWIG_ConvertPacked(obj, ptr, sz, ty) SWIG_Python_ConvertPacked(obj, ptr, sz, ty)

#define	SWIG_NewPackedObj(ptr, sz, type) SWIG_Python_NewPackedObj(ptr, sz, type)

#define	SWIG_ConvertInstance(obj, pptr, type, flags) SWIG_ConvertPtr(obj, pptr, type, flags)

#define	SWIG_NewInstanceObj(ptr, type, flags) SWIG_NewPointerObj(ptr, type, flags)

#define	SWIG_ConvertFunctionPtr(obj, pptr, type) SWIG_Python_ConvertFunctionPtr(obj, pptr, type)

#define	SWIG_NewFunctionPtrObj(ptr, type) SWIG_Python_NewPointerObj(NULL, ptr, type, 0)

#define	SWIG_ConvertMember(obj, ptr, sz, ty) SWIG_Python_ConvertPacked(obj, ptr, sz, ty)

#define	SWIG_NewMemberObj(ptr, sz, type) SWIG_Python_NewPackedObj(ptr, sz, type)

#define	SWIG_GetModule(clientdata) SWIG_Python_GetModule(clientdata)

#define	SWIG_SetModule(clientdata, pointer) SWIG_Python_SetModule(pointer)

#define	SWIG_NewClientData(obj) SwigPyClientData_New(obj)

#define	SWIG_SetErrorObj SWIG_Python_SetErrorObj

#define	SWIG_SetErrorMsg SWIG_Python_SetErrorMsg

#define	SWIG_ErrorType(code) SWIG_Python_ErrorType(code)

#define	SWIG_Error(code, msg) SWIG_Python_SetErrorMsg(SWIG_ErrorType(code), msg)

#define	SWIG_fail goto fail

#define	SWIG_Python_Raise(obj, type, desc) SWIG_Python_SetErrorObj(SWIG_Python_ExceptionType(desc), obj)

#define	SWIG_Python_CallFunctor(functor, obj) PyObject_CallFunctionObjArgs(functor, obj, NULL);

#define	SWIG_STATIC_POINTER(var) var = 0; if (!var) var

#define	SWIG_POINTER_NOSHADOW (SWIG_POINTER_OWN << 1)

#define	SWIG_POINTER_NEW (SWIG_POINTER_NOSHADOW \| SWIG_POINTER_OWN)

#define	SWIG_POINTER_IMPLICIT_CONV (SWIG_POINTER_DISOWN << 1)

#define	SWIG_BUILTIN_TP_INIT (SWIG_POINTER_OWN << 2)

#define	SWIG_BUILTIN_INIT (SWIG_BUILTIN_TP_INIT \| SWIG_POINTER_OWN)

#define	SWIG_POINTER_EXCEPTION 0

#define	SWIG_arg_fail(arg) SWIG_Python_ArgFail(arg)

#define	SWIG_MustGetPtr(p, type, argnum, flags) SWIG_Python_MustGetPtr(p, type, argnum, flags)

#define	SWIG_exception_fail(code, msg) do { SWIG_Error(code, msg); SWIG_fail; } while(0)

#define	SWIG_contract_assert(expr, msg) if (!(expr)) { SWIG_Error(SWIG_RuntimeError, msg); SWIG_fail; } else

#define	SWIG_exception(code, msg) do { SWIG_Error(code, msg); SWIG_fail;; } while(0)

#define	SWIG_DIRECTOR_PYTHON_HEADER_

#define	SWIG_DIRECTOR_UEH

#define	SWIG_DIRECTOR_CAST(ARG) dynamic_cast<Swig::Director *>(ARG)

#define	SWIG_DIRECTOR_RGTR(ARG1, ARG2)

#define	__THREAD__ 1

#define	SWIG_GUARD(mutex) Guard _guard(mutex)

#define	SWIGTYPE_p_char swig_types[0]

#define	SWIGTYPE_p_int swig_types[1]

#define	SWIGTYPE_p_long swig_types[2]

#define	SWIGTYPE_p_operations_research__Domain swig_types[3]

#define	SWIGTYPE_p_operations_research__sat__IntegerVariableProto swig_types[4]

#define	SWIGTYPE_p_operations_research__sat__SatHelper swig_types[5]

#define	SWIGTYPE_p_operations_research__sat__SolutionCallback swig_types[6]

#define	SWIGTYPE_p_short swig_types[7]

#define	SWIGTYPE_p_signed_char swig_types[8]

#define	SWIGTYPE_p_unsigned_char swig_types[9]

#define	SWIGTYPE_p_unsigned_int swig_types[10]

#define	SWIGTYPE_p_unsigned_long swig_types[11]

#define	SWIGTYPE_p_unsigned_short swig_types[12]

#define	SWIG_TypeQuery(name) SWIG_TypeQueryModule(&swig_module, &swig_module, name)

#define	SWIG_MangledTypeQuery(name) SWIG_MangledTypeQueryModule(&swig_module, &swig_module, name)

#define	SWIG_TypeQuery SWIG_Python_TypeQuery

#define	SWIG_init init_pywrapsat

#define	SWIG_name "_pywrapsat"

#define	SWIGVERSION 0x040002

#define	SWIG_VERSION SWIGVERSION

#define	SWIG_as_voidptr(a) const_cast< void * >(static_cast< const void * >(a))

#define	SWIG_as_voidptrptr(a) ((void)SWIG_as_voidptr(a),reinterpret_cast< void* >(a))

#define	SWIGWORDSIZE64

#define	SWIG_From_long PyInt_FromLong

#define	SWIG_From_double PyFloat_FromDouble

#define	SWIG_newvarlink() SWIG_Python_newvarlink()

#define	SWIG_addvarlink(p, name, get_attr, set_attr) SWIG_Python_addvarlink(p, name, get_attr, set_attr)

#define	SWIG_InstallConstants(d, constants) SWIG_Python_InstallConstants(d, constants)

Typedefs
typedef void (	swig_converter_func) (void , int )

typedef struct swig_type_info (	swig_dycast_func) (void **)

typedef struct swig_type_info	swig_type_info

typedef struct swig_cast_info	swig_cast_info

typedef struct swig_module_info	swig_module_info

typedef struct swig_const_info	swig_const_info

typedef struct swig_globalvar	swig_globalvar

typedef struct swig_varlinkobject	swig_varlinkobject

Functions
SWIGRUNTIME int	SWIG_TypeNameComp (const char f1, const char l1, const char f2, const char l2)

SWIGRUNTIME int	SWIG_TypeCmp (const char nb, const char tb)

SWIGRUNTIME int	SWIG_TypeEquiv (const char nb, const char tb)

SWIGRUNTIME swig_cast_info *	SWIG_TypeCheck (const char c, swig_type_info ty)

SWIGRUNTIME swig_cast_info *	SWIG_TypeCheckStruct (swig_type_info from, swig_type_info ty)

SWIGRUNTIMEINLINE void *	SWIG_TypeCast (swig_cast_info ty, void ptr, int *newmemory)

SWIGRUNTIME swig_type_info *	SWIG_TypeDynamicCast (swig_type_info ty, void *ptr)

SWIGRUNTIMEINLINE const char *	SWIG_TypeName (const swig_type_info *ty)

SWIGRUNTIME const char *	SWIG_TypePrettyName (const swig_type_info *type)

SWIGRUNTIME void	SWIG_TypeClientData (swig_type_info ti, void clientdata)

SWIGRUNTIME void	SWIG_TypeNewClientData (swig_type_info ti, void clientdata)

SWIGRUNTIME swig_type_info *	SWIG_MangledTypeQueryModule (swig_module_info start, swig_module_info end, const char *name)

SWIGRUNTIME swig_type_info *	SWIG_TypeQueryModule (swig_module_info start, swig_module_info end, const char *name)

SWIGRUNTIME char *	SWIG_PackData (char c, void ptr, size_t sz)

SWIGRUNTIME const char *	SWIG_UnpackData (const char c, void ptr, size_t sz)

SWIGRUNTIME char *	SWIG_PackVoidPtr (char buff, void ptr, const char *name, size_t bsz)

SWIGRUNTIME const char *	SWIG_UnpackVoidPtr (const char c, void ptr, const char name)

SWIGRUNTIME char *	SWIG_PackDataName (char buff, void ptr, size_t sz, const char *name, size_t bsz)

SWIGRUNTIME const char *	SWIG_UnpackDataName (const char c, void ptr, size_t sz, const char *name)

SWIGINTERN char *	SWIG_Python_str_AsChar (PyObject *str)

SWIGINTERN PyObject *	SWIG_Python_str_FromChar (const char *c)

SWIGRUNTIME PyObject *	SWIG_Python_ErrorType (int code)

SWIGRUNTIME void	SWIG_Python_AddErrorMsg (const char *mesg)

SWIGRUNTIME int	SWIG_Python_TypeErrorOccurred (PyObject *obj)

SWIGRUNTIME void	SWIG_Python_RaiseOrModifyTypeError (const char *message)

SWIGINTERN void	SWIG_Python_SetErrorObj (PyObject errtype, PyObject obj)

SWIGINTERN void	SWIG_Python_SetErrorMsg (PyObject errtype, const char msg)

SWIGINTERN void	SWIG_Python_SetConstant (PyObject d, const char name, PyObject *obj)

SWIGINTERN PyObject *	SWIG_Python_AppendOutput (PyObject result, PyObject obj)

SWIGINTERN Py_ssize_t	SWIG_Python_UnpackTuple (PyObject args, const char name, Py_ssize_t min, Py_ssize_t max, PyObject **objs)

SWIGINTERN int	SWIG_Python_CheckNoKeywords (PyObject kwargs, const char name)

SWIGRUNTIMEINLINE PyObject *	SWIG_Py_Void (void)

SWIGRUNTIMEINLINE int	SWIG_Python_CheckImplicit (swig_type_info *ty)

SWIGRUNTIMEINLINE PyObject *	SWIG_Python_ExceptionType (swig_type_info *desc)

SWIGRUNTIME SwigPyClientData *	SwigPyClientData_New (PyObject *obj)

SWIGRUNTIME void	SwigPyClientData_Del (SwigPyClientData *data)

SWIGRUNTIME PyObject *	SwigPyObject_long (SwigPyObject *v)

SWIGRUNTIME PyObject *	SwigPyObject_format (const char fmt, SwigPyObject v)

SWIGRUNTIME PyObject *	SwigPyObject_oct (SwigPyObject *v)

SWIGRUNTIME PyObject *	SwigPyObject_hex (SwigPyObject *v)

SWIGRUNTIME PyObject *	SwigPyObject_repr (SwigPyObject *v)

SWIGRUNTIME PyObject *	SwigPyObject_repr2 (PyObject v, PyObject SWIGUNUSEDPARM(args))

SWIGRUNTIME int	SwigPyObject_compare (SwigPyObject v, SwigPyObject w)

SWIGRUNTIME PyObject *	SwigPyObject_richcompare (SwigPyObject v, SwigPyObject w, int op)

SWIGRUNTIME PyTypeObject *	SwigPyObject_TypeOnce (void)

SWIGRUNTIME PyTypeObject *	SwigPyObject_type (void)

SWIGRUNTIMEINLINE int	SwigPyObject_Check (PyObject *op)

SWIGRUNTIME PyObject *	SwigPyObject_New (void ptr, swig_type_info ty, int own)

SWIGRUNTIME void	SwigPyObject_dealloc (PyObject *v)

SWIGRUNTIME PyObject *	SwigPyObject_append (PyObject v, PyObject next)

SWIGRUNTIME PyObject *	SwigPyObject_next (PyObject v, PyObject SWIGUNUSEDPARM(args))

SWIGINTERN PyObject *	SwigPyObject_disown (PyObject v, PyObject SWIGUNUSEDPARM(args))

SWIGINTERN PyObject *	SwigPyObject_acquire (PyObject v, PyObject SWIGUNUSEDPARM(args))

SWIGINTERN PyObject *	SwigPyObject_own (PyObject v, PyObject args)

SWIGRUNTIME PyObject *	SwigPyPacked_repr (SwigPyPacked *v)

SWIGRUNTIME PyObject *	SwigPyPacked_str (SwigPyPacked *v)

SWIGRUNTIME int	SwigPyPacked_compare (SwigPyPacked v, SwigPyPacked w)

SWIGRUNTIME PyTypeObject *	SwigPyPacked_TypeOnce (void)

SWIGRUNTIME PyTypeObject *	SwigPyPacked_type (void)

SWIGRUNTIMEINLINE int	SwigPyPacked_Check (PyObject *op)

SWIGRUNTIME void	SwigPyPacked_dealloc (PyObject *v)

SWIGRUNTIME PyObject *	SwigPyPacked_New (void ptr, size_t size, swig_type_info ty)

SWIGRUNTIME swig_type_info *	SwigPyPacked_UnpackData (PyObject obj, void ptr, size_t size)

SWIGRUNTIME PyObject *	SWIG_This (void)

SWIGRUNTIME SwigPyObject *	SWIG_Python_GetSwigThis (PyObject *pyobj)

SWIGRUNTIME int	SWIG_Python_AcquirePtr (PyObject *obj, int own)

SWIGRUNTIME int	SWIG_Python_ConvertPtrAndOwn (PyObject obj, void ptr, swig_type_info ty, int flags, int *own)

SWIGRUNTIME int	SWIG_Python_ConvertFunctionPtr (PyObject obj, void ptr, swig_type_info ty)

SWIGRUNTIME int	SWIG_Python_ConvertPacked (PyObject obj, void ptr, size_t sz, swig_type_info *ty)

SWIGRUNTIME PyObject *	SWIG_Python_NewShadowInstance (SwigPyClientData data, PyObject swig_this)

SWIGRUNTIME int	SWIG_Python_SetSwigThis (PyObject inst, PyObject swig_this)

SWIGINTERN PyObject *	SWIG_Python_InitShadowInstance (PyObject *args)

SWIGRUNTIME PyObject *	SWIG_Python_NewPointerObj (PyObject self, void ptr, swig_type_info *type, int flags)

SWIGRUNTIMEINLINE PyObject *	SWIG_Python_NewPackedObj (void ptr, size_t sz, swig_type_info type)

SWIGRUNTIME swig_module_info *	SWIG_Python_GetModule (void *SWIGUNUSEDPARM(clientdata))

SWIGRUNTIME void	SWIG_Python_DestroyModule (PyObject *obj)

SWIGRUNTIME void	SWIG_Python_SetModule (swig_module_info *swig_module)

SWIGRUNTIME PyObject *	SWIG_Python_TypeCache (void)

SWIGRUNTIME swig_type_info *	SWIG_Python_TypeQuery (const char *type)

SWIGRUNTIME int	SWIG_Python_AddErrMesg (const char *mesg, int infront)

SWIGRUNTIME int	SWIG_Python_ArgFail (int argnum)

SWIGRUNTIMEINLINE const char *	SwigPyObject_GetDesc (PyObject *self)

SWIGRUNTIME void	SWIG_Python_TypeError (const char type, PyObject obj)

SWIGRUNTIME void *	SWIG_Python_MustGetPtr (PyObject obj, swig_type_info ty, int SWIGUNUSEDPARM(argnum), int flags)

SWIGINTERN PyMethodDef *	SWIG_PythonGetProxyDoc (const char *name)

SWIGINTERN PyObject *	SWIG_PyInstanceMethod_New (PyObject SWIGUNUSEDPARM(self), PyObject func)

SWIGINTERN PyObject *	SWIG_PyStaticMethod_New (PyObject SWIGUNUSEDPARM(self), PyObject func)

template<typename ReturnT >
static ReturnT	HandleResult (PyObject *pyresult)

template<>
void	HandleResult< void > (PyObject *pyresult)

template<typename ReturnT , typename... Args>
static ReturnT	InvokePythonCallableReturning (PyObject pyfunc, const char format, Args... args)

template<typename ReturnT >
static ReturnT	InvokePythonCallableReturning (PyObject *pyfunc)

SWIGINTERN int	SWIG_AsVal_double (PyObject obj, double val)

SWIGINTERNINLINE int	SWIG_CanCastAsInteger (double *d, double min, double max)

SWIGINTERN int	SWIG_AsVal_long (PyObject obj, long val)

SWIGINTERN int	SWIG_AsVal_int (PyObject obj, int val)

SWIGINTERNINLINE PyObject *	SWIG_From_bool (bool value)

SWIGINTERN swig_type_info *	SWIG_pchar_descriptor (void)

SWIGINTERNINLINE PyObject *	SWIG_FromCharPtrAndSize (const char *carray, size_t size)

SWIGINTERNINLINE PyObject *	SWIG_From_std_string (const std::string &s)

SWIGINTERN int	SWIG_AsCharPtrAndSize (PyObject obj, char cptr, size_t psize, int *alloc)

SWIGINTERN int	SWIG_AsPtr_std_string (PyObject obj, std::string *val)

SWIGINTERN PyObject *	_wrap_delete_SolutionCallback (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_OnSolutionCallback (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_NumBooleans (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_NumBranches (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_NumConflicts (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_NumBinaryPropagations (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_NumIntegerPropagations (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_WallTime (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_UserTime (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_ObjectiveValue (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_BestObjectiveBound (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_SolutionIntegerValue (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_SolutionBooleanValue (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_StopSearch (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_Response (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SolutionCallback_HasResponse (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_new_SolutionCallback (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_disown_SolutionCallback (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	SolutionCallback_swigregister (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	SolutionCallback_swiginit (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_Solve (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_SolveWithParameters (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_SolveWithParametersAndSolutionCallback (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_ModelStats (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_SolverResponseStats (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_ValidateModel (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_VariableDomain (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_SatHelper_WriteModelToFile (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_new_SatHelper (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	_wrap_delete_SatHelper (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	SatHelper_swigregister (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGINTERN PyObject *	SatHelper_swiginit (PyObject SWIGUNUSEDPARM(self), PyObject args)

SWIGRUNTIME void	SWIG_InitializeModule (void *clientdata)

SWIGRUNTIME void	SWIG_PropagateClientData (void)

SWIGINTERN PyObject *	swig_varlink_repr (swig_varlinkobject *SWIGUNUSEDPARM(v))

SWIGINTERN PyObject *	swig_varlink_str (swig_varlinkobject *v)

SWIGINTERN void	swig_varlink_dealloc (swig_varlinkobject *v)

SWIGINTERN PyObject *	swig_varlink_getattr (swig_varlinkobject v, char n)

SWIGINTERN int	swig_varlink_setattr (swig_varlinkobject v, char n, PyObject *p)

SWIGINTERN PyTypeObject *	swig_varlink_type (void)

SWIGINTERN PyObject *	SWIG_Python_newvarlink (void)

SWIGINTERN void	SWIG_Python_addvarlink (PyObject p, const char name, PyObject (get_attr)(void), int(set_attr)(PyObject p))

SWIGINTERN PyObject *	SWIG_globals (void)

SWIGINTERN void	SWIG_Python_InstallConstants (PyObject *d, swig_const_info constants[])

SWIGINTERN void	SWIG_Python_FixMethods (PyMethodDef methods, swig_const_info const_table, swig_type_info types, swig_type_info types_initial)

Variables
static PyMethodDef	swigobject_methods []

static PyObject *	Swig_This_global = NULL

static swig_type_info *	swig_types [14]

static swig_module_info	swig_module = {swig_types, 13, 0, 0, 0, 0}

static PyMethodDef	SwigMethods []

static PyMethodDef	SwigMethods_proxydocs []

static swig_type_info	_swigt__p_char = {"_p_char", "char ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_int = {"_p_int", "int \|int_least32_t \|int32 \|int32_t ", 0, 0, (void*)0, 0}

static swig_type_info	_swigt__p_long = {"_p_long", "intptr_t \|int_least64_t \|int_fast32_t \|int_fast64_t \|int64 \|int64_t \|long \|int_fast16_t \|intmax_t ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_operations_research__Domain = {"_p_operations_research__Domain", "operations_research::Domain ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_operations_research__sat__IntegerVariableProto = {"_p_operations_research__sat__IntegerVariableProto", "operations_research::sat::IntegerVariableProto ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_operations_research__sat__SatHelper = {"_p_operations_research__sat__SatHelper", "operations_research::sat::SatHelper ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_operations_research__sat__SolutionCallback = {"_p_operations_research__sat__SolutionCallback", "operations_research::sat::SolutionCallback ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_short = {"_p_short", "int16 \|short \|int_least16_t \|int16_t ", 0, 0, (void*)0, 0}

static swig_type_info	_swigt__p_signed_char = {"_p_signed_char", "signed char \|int8 \|int_least8_t \|int_fast8_t \|int8_t ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_unsigned_char = {"_p_unsigned_char", "unsigned char \|uint8 \|uint_least8_t \|uint_fast8_t \|uint8_t ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_unsigned_int = {"_p_unsigned_int", "uint_least32_t \|uint32 \|uint32_t \|unsigned int ", 0, 0, (void*)0, 0}

static swig_type_info	_swigt__p_unsigned_long = {"_p_unsigned_long", "uintptr_t \|uint_least64_t \|uint_fast32_t \|uint_fast64_t \|uint64 \|uint64_t \|unsigned long \|uint_fast16_t \|uintmax_t ", 0, 0, (void)0, 0}

static swig_type_info	_swigt__p_unsigned_short = {"_p_unsigned_short", "uint16 \|unsigned short \|uint_least16_t \|uint16_t ", 0, 0, (void*)0, 0}

static swig_type_info *	swig_type_initial []

static swig_cast_info	_swigc__p_char [] = { {&_swigt__p_char, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_int [] = { {&_swigt__p_int, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_long [] = { {&_swigt__p_long, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_operations_research__Domain [] = { {&_swigt__p_operations_research__Domain, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_operations_research__sat__IntegerVariableProto [] = { {&_swigt__p_operations_research__sat__IntegerVariableProto, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_operations_research__sat__SatHelper [] = { {&_swigt__p_operations_research__sat__SatHelper, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_operations_research__sat__SolutionCallback [] = { {&_swigt__p_operations_research__sat__SolutionCallback, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_short [] = { {&_swigt__p_short, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_signed_char [] = { {&_swigt__p_signed_char, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_unsigned_char [] = { {&_swigt__p_unsigned_char, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_unsigned_int [] = { {&_swigt__p_unsigned_int, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_unsigned_long [] = { {&_swigt__p_unsigned_long, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info	_swigc__p_unsigned_short [] = { {&_swigt__p_unsigned_short, 0, 0, 0},{0, 0, 0, 0}}

static swig_cast_info *	swig_cast_initial []

static swig_const_info	swig_const_table []

Macro Definition Documentation

◆ THREAD

#define __THREAD__ 1

Definition at line 2958 of file sat_python_wrap.cc.

◆ Py_hash_t

#define Py_hash_t long

Definition at line 863 of file sat_python_wrap.cc.

◆ Py_TYPE

#define Py_TYPE ( op ) ((op)->ob_type)

Definition at line 795 of file sat_python_wrap.cc.

◆ PyDescr_NAME

#define PyDescr_NAME ( x ) (((PyDescrObject *)(x))->d_name)

Definition at line 862 of file sat_python_wrap.cc.

◆ PyDescr_TYPE

#define PyDescr_TYPE ( x ) (((PyDescrObject *)(x))->d_type)

Definition at line 861 of file sat_python_wrap.cc.

◆ PyObject_DEL

#define PyObject_DEL PyObject_Del

Definition at line 852 of file sat_python_wrap.cc.

◆ SWIG_AcquirePtr

#define SWIG_AcquirePtr	(	ptr,
		src
	)	SWIG_Python_AcquirePtr(ptr, src)

Definition at line 1100 of file sat_python_wrap.cc.

◆ SWIG_AddCast

#define SWIG_AddCast ( r ) (r)

Definition at line 354 of file sat_python_wrap.cc.

◆ SWIG_AddNewMask

#define SWIG_AddNewMask ( r ) (SWIG_IsOK(r) ? (r | SWIG_NEWOBJMASK) : r)

Definition at line 330 of file sat_python_wrap.cc.

◆ SWIG_AddTmpMask

#define SWIG_AddTmpMask ( r ) (SWIG_IsOK(r) ? (r | SWIG_TMPOBJMASK) : r)

Definition at line 333 of file sat_python_wrap.cc.

◆ SWIG_addvarlink

#define SWIG_addvarlink	(	p,
		name,
		get_attr,
		set_attr
	)	SWIG_Python_addvarlink(p, name, get_attr, set_attr)

Definition at line 5121 of file sat_python_wrap.cc.

◆ SWIG_arg_fail

#define SWIG_arg_fail ( arg ) SWIG_Python_ArgFail(arg)

Definition at line 2503 of file sat_python_wrap.cc.

◆ SWIG_ArgError

#define SWIG_ArgError ( r ) ((r != SWIG_ERROR) ? r : SWIG_TypeError)

Definition at line 316 of file sat_python_wrap.cc.

◆ SWIG_as_voidptr

#define SWIG_as_voidptr ( a ) const_cast< void * >(static_cast< const void * >(a))

Definition at line 3142 of file sat_python_wrap.cc.

◆ SWIG_as_voidptrptr

#define SWIG_as_voidptrptr ( a ) ((void)SWIG_as_voidptr(*a),reinterpret_cast< void** >(a))

Definition at line 3143 of file sat_python_wrap.cc.

◆ SWIG_AttributeError

#define SWIG_AttributeError -11

Definition at line 768 of file sat_python_wrap.cc.

◆ SWIG_BADOBJ

#define SWIG_BADOBJ (SWIG_ERROR)

Definition at line 325 of file sat_python_wrap.cc.

◆ SWIG_BUFFER_SIZE

#define SWIG_BUFFER_SIZE 1024

Definition at line 222 of file sat_python_wrap.cc.

◆ SWIG_BUILTIN_INIT

#define SWIG_BUILTIN_INIT (SWIG_BUILTIN_TP_INIT | SWIG_POINTER_OWN)

Definition at line 1289 of file sat_python_wrap.cc.

◆ SWIG_BUILTIN_TP_INIT

#define SWIG_BUILTIN_TP_INIT (SWIG_POINTER_OWN << 2)

Definition at line 1288 of file sat_python_wrap.cc.

◆ SWIG_CAST_NEW_MEMORY

#define SWIG_CAST_NEW_MEMORY 0x2

Definition at line 227 of file sat_python_wrap.cc.

◆ SWIG_CASTRANKLIMIT

#define SWIG_CASTRANKLIMIT (1 << 8)

Definition at line 319 of file sat_python_wrap.cc.

◆ SWIG_CheckImplicit

#define SWIG_CheckImplicit ( ty ) SWIG_Python_CheckImplicit(ty)

Definition at line 1099 of file sat_python_wrap.cc.

◆ SWIG_CheckState

#define SWIG_CheckState ( r ) (SWIG_IsOK(r) ? 1 : 0)

Definition at line 355 of file sat_python_wrap.cc.

◆ SWIG_contract_assert

#define SWIG_contract_assert	(	expr,
		msg
	)	if (!(expr)) { SWIG_Error(SWIG_RuntimeError, msg); SWIG_fail; } else

Definition at line 2673 of file sat_python_wrap.cc.

◆ SWIG_ConvertFunctionPtr

#define SWIG_ConvertFunctionPtr	(	obj,
		pptr,
		type
	)	SWIG_Python_ConvertFunctionPtr(obj, pptr, type)

Definition at line 1112 of file sat_python_wrap.cc.

◆ SWIG_ConvertInstance

#define SWIG_ConvertInstance	(	obj,
		pptr,
		type,
		flags
	)	SWIG_ConvertPtr(obj, pptr, type, flags)

Definition at line 1108 of file sat_python_wrap.cc.

◆ SWIG_ConvertMember

#define SWIG_ConvertMember	(	obj,
		ptr,
		sz,
		ty
	)	SWIG_Python_ConvertPacked(obj, ptr, sz, ty)

Definition at line 1116 of file sat_python_wrap.cc.

◆ SWIG_ConvertPacked

#define SWIG_ConvertPacked	(	obj,
		ptr,
		sz,
		ty
	)	SWIG_Python_ConvertPacked(obj, ptr, sz, ty)

Definition at line 1104 of file sat_python_wrap.cc.

◆ SWIG_ConvertPtr

#define SWIG_ConvertPtr	(	obj,
		pptr,
		type,
		flags
	)	SWIG_Python_ConvertPtr(obj, pptr, type, flags)

Definition at line 1088 of file sat_python_wrap.cc.

◆ SWIG_ConvertPtrAndOwn

#define SWIG_ConvertPtrAndOwn	(	obj,
		pptr,
		type,
		flags,
		own
	)	SWIG_Python_ConvertPtrAndOwn(obj, pptr, type, flags, own)

Definition at line 1089 of file sat_python_wrap.cc.

◆ SWIG_DelNewMask

#define SWIG_DelNewMask ( r ) (SWIG_IsOK(r) ? (r & ~SWIG_NEWOBJMASK) : r)

Definition at line 331 of file sat_python_wrap.cc.

◆ SWIG_DelTmpMask

#define SWIG_DelTmpMask ( r ) (SWIG_IsOK(r) ? (r & ~SWIG_TMPOBJMASK) : r)

Definition at line 334 of file sat_python_wrap.cc.

◆ SWIG_DIRECTOR_CAST

#define SWIG_DIRECTOR_CAST ( ARG ) dynamic_cast<Swig::Director *>(ARG)

Definition at line 2788 of file sat_python_wrap.cc.

◆ SWIG_DIRECTOR_PYTHON_HEADER_

#define SWIG_DIRECTOR_PYTHON_HEADER_

Definition at line 2717 of file sat_python_wrap.cc.

◆ SWIG_DIRECTOR_RGTR

#define SWIG_DIRECTOR_RGTR	(	ARG1,
		ARG2
	)

Definition at line 2789 of file sat_python_wrap.cc.

◆ SWIG_DIRECTOR_UEH

#define SWIG_DIRECTOR_UEH

Definition at line 2746 of file sat_python_wrap.cc.

◆ SWIG_DIRECTORS

#define SWIG_DIRECTORS

Definition at line 16 of file sat_python_wrap.cc.

◆ SWIG_DivisionByZero

#define SWIG_DivisionByZero -6

Definition at line 763 of file sat_python_wrap.cc.

◆ SWIG_ERROR

#define SWIG_ERROR (-1)

Definition at line 314 of file sat_python_wrap.cc.

◆ SWIG_Error

#define SWIG_Error	(	code,
		msg
	)	SWIG_Python_SetErrorMsg(SWIG_ErrorType(code), msg)

Definition at line 1129 of file sat_python_wrap.cc.

◆ SWIG_ErrorType

#define SWIG_ErrorType ( code ) SWIG_Python_ErrorType(code)

Definition at line 1128 of file sat_python_wrap.cc.

◆ SWIG_exception

#define SWIG_exception	(	code,
		msg
	)	do { SWIG_Error(code, msg); SWIG_fail;; } while(0)

Definition at line 2692 of file sat_python_wrap.cc.

◆ SWIG_exception_fail

#define SWIG_exception_fail	(	code,
		msg
	)	do { SWIG_Error(code, msg); SWIG_fail; } while(0)

Definition at line 2671 of file sat_python_wrap.cc.

◆ SWIG_fail

#define SWIG_fail goto fail

Definition at line 1130 of file sat_python_wrap.cc.

◆ SWIG_From_double

#define SWIG_From_double PyFloat_FromDouble

Definition at line 3323 of file sat_python_wrap.cc.

◆ SWIG_From_long

#define SWIG_From_long PyInt_FromLong

Definition at line 3320 of file sat_python_wrap.cc.

◆ SWIG_GetModule

#define SWIG_GetModule ( clientdata ) SWIG_Python_GetModule(clientdata)

Definition at line 1122 of file sat_python_wrap.cc.

◆ SWIG_GUARD

#define SWIG_GUARD ( mutex ) Guard _guard(mutex)

Definition at line 2976 of file sat_python_wrap.cc.

◆ SWIG_IndexError

#define SWIG_IndexError -4

Definition at line 761 of file sat_python_wrap.cc.

◆ SWIG_init

#define SWIG_init ( void ) init_pywrapsat

Definition at line 3133 of file sat_python_wrap.cc.

◆ SWIG_InstallConstants

#define SWIG_InstallConstants	(	d,
		constants
	)	SWIG_Python_InstallConstants(d, constants)

Definition at line 5122 of file sat_python_wrap.cc.

◆ SWIG_InternalNewPointerObj

#define SWIG_InternalNewPointerObj	(	ptr,
		type,
		flags
	)	SWIG_Python_NewPointerObj(NULL, ptr, type, flags)

Definition at line 1097 of file sat_python_wrap.cc.

◆ SWIG_IOError

#define SWIG_IOError -2

Definition at line 759 of file sat_python_wrap.cc.

◆ SWIG_IsNewObj

#define SWIG_IsNewObj ( r ) (SWIG_IsOK(r) && (r & SWIG_NEWOBJMASK))

Definition at line 332 of file sat_python_wrap.cc.

◆ SWIG_IsOK

#define SWIG_IsOK ( r ) (r >= 0)

Definition at line 315 of file sat_python_wrap.cc.

◆ SWIG_IsTmpObj

#define SWIG_IsTmpObj ( r ) (SWIG_IsOK(r) && (r & SWIG_TMPOBJMASK))

Definition at line 335 of file sat_python_wrap.cc.

◆ SWIG_MangledTypeQuery

#define SWIG_MangledTypeQuery ( name ) SWIG_MangledTypeQueryModule(&swig_module, &swig_module, name)

Definition at line 3117 of file sat_python_wrap.cc.

◆ SWIG_MemoryError

#define SWIG_MemoryError -12

Definition at line 769 of file sat_python_wrap.cc.

◆ SWIG_MustGetPtr

#define SWIG_MustGetPtr	(	p,
		type,
		argnum,
		flags
	)	SWIG_Python_MustGetPtr(p, type, argnum, flags)

Definition at line 2504 of file sat_python_wrap.cc.

◆ SWIG_name

#define SWIG_name "_pywrapsat"

Definition at line 3136 of file sat_python_wrap.cc.

◆ SWIG_NewClientData

#define SWIG_NewClientData ( obj ) SwigPyClientData_New(obj)

Definition at line 1124 of file sat_python_wrap.cc.

◆ SWIG_NewFunctionPtrObj

#define SWIG_NewFunctionPtrObj	(	ptr,
		type
	)	SWIG_Python_NewPointerObj(NULL, ptr, type, 0)

Definition at line 1113 of file sat_python_wrap.cc.

◆ SWIG_NewInstanceObj

#define SWIG_NewInstanceObj	(	ptr,
		type,
		flags
	)	SWIG_NewPointerObj(ptr, type, flags)

Definition at line 1109 of file sat_python_wrap.cc.

◆ SWIG_NewMemberObj

#define SWIG_NewMemberObj	(	ptr,
		sz,
		type
	)	SWIG_Python_NewPackedObj(ptr, sz, type)

Definition at line 1117 of file sat_python_wrap.cc.

◆ SWIG_NEWOBJ

#define SWIG_NEWOBJ (SWIG_OK | SWIG_NEWOBJMASK)

Definition at line 327 of file sat_python_wrap.cc.

◆ SWIG_NEWOBJMASK

#define SWIG_NEWOBJMASK (SWIG_CASTRANKLIMIT << 1)

Definition at line 321 of file sat_python_wrap.cc.

◆ SWIG_NewPackedObj

#define SWIG_NewPackedObj	(	ptr,
		sz,
		type
	)	SWIG_Python_NewPackedObj(ptr, sz, type)

Definition at line 1105 of file sat_python_wrap.cc.

◆ SWIG_NewPointerObj

#define SWIG_NewPointerObj	(	ptr,
		type,
		flags
	)	SWIG_Python_NewPointerObj(NULL, ptr, type, flags)

Definition at line 1094 of file sat_python_wrap.cc.

◆ SWIG_newvarlink

#define SWIG_newvarlink ( ) SWIG_Python_newvarlink()

Definition at line 5120 of file sat_python_wrap.cc.

◆ SWIG_NullReferenceError

#define SWIG_NullReferenceError -13

Definition at line 770 of file sat_python_wrap.cc.

◆ SWIG_OK

#define SWIG_OK (0)

Definition at line 313 of file sat_python_wrap.cc.

◆ SWIG_OLDOBJ

#define SWIG_OLDOBJ (SWIG_OK)

Definition at line 326 of file sat_python_wrap.cc.

◆ SWIG_OverflowError

#define SWIG_OverflowError -7

Definition at line 764 of file sat_python_wrap.cc.

◆ swig_owntype

#define swig_owntype int

Definition at line 1101 of file sat_python_wrap.cc.

◆ SWIG_POINTER_DISOWN

#define SWIG_POINTER_DISOWN 0x1

Definition at line 226 of file sat_python_wrap.cc.

◆ SWIG_POINTER_EXCEPTION

#define SWIG_POINTER_EXCEPTION 0

Definition at line 2502 of file sat_python_wrap.cc.

◆ SWIG_POINTER_IMPLICIT_CONV

#define SWIG_POINTER_IMPLICIT_CONV (SWIG_POINTER_DISOWN << 1)

Definition at line 1286 of file sat_python_wrap.cc.

◆ SWIG_POINTER_NEW

#define SWIG_POINTER_NEW (SWIG_POINTER_NOSHADOW | SWIG_POINTER_OWN)

Definition at line 1284 of file sat_python_wrap.cc.

◆ SWIG_POINTER_NO_NULL

#define SWIG_POINTER_NO_NULL 0x4

Definition at line 228 of file sat_python_wrap.cc.

◆ SWIG_POINTER_NOSHADOW

#define SWIG_POINTER_NOSHADOW (SWIG_POINTER_OWN << 1)

Definition at line 1283 of file sat_python_wrap.cc.

◆ SWIG_POINTER_OWN

#define SWIG_POINTER_OWN 0x1

Definition at line 231 of file sat_python_wrap.cc.

◆ SWIG_PY_BINARY

#define SWIG_PY_BINARY 5

Definition at line 1050 of file sat_python_wrap.cc.

◆ SWIG_PY_POINTER

#define SWIG_PY_POINTER 4

Definition at line 1049 of file sat_python_wrap.cc.

◆ SWIG_Python_CallFunctor

#define SWIG_Python_CallFunctor	(	functor,
		obj
	)	PyObject_CallFunctionObjArgs(functor, obj, NULL);

Definition at line 1266 of file sat_python_wrap.cc.

◆ SWIG_Python_ConvertPtr

#define SWIG_Python_ConvertPtr	(	obj,
		pptr,
		type,
		flags
	)	SWIG_Python_ConvertPtrAndOwn(obj, pptr, type, flags, 0)

Definition at line 1087 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_DIRECTOR_NO_VTABLE

#define SWIG_PYTHON_DIRECTOR_NO_VTABLE

Definition at line 18 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_INITIALIZE_THREADS

#define SWIG_PYTHON_INITIALIZE_THREADS PyEval_InitThreads()

Definition at line 982 of file sat_python_wrap.cc.

◆ SWIG_Python_Raise

#define SWIG_Python_Raise	(	obj,
		type,
		desc
	)	SWIG_Python_SetErrorObj(SWIG_Python_ExceptionType(desc), obj)

Definition at line 1152 of file sat_python_wrap.cc.

◆ SWIG_Python_str_DelForPy3

#define SWIG_Python_str_DelForPy3 ( x )

Definition at line 835 of file sat_python_wrap.cc.

◆ SWIG_Python_str_FromFormat

#define SWIG_Python_str_FromFormat PyString_FromFormat

Definition at line 803 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_THREAD_BEGIN_ALLOW

#define SWIG_PYTHON_THREAD_BEGIN_ALLOW PyThreadState *_swig_thread_allow = PyEval_SaveThread()

Definition at line 1008 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_THREAD_BEGIN_BLOCK

#define SWIG_PYTHON_THREAD_BEGIN_BLOCK PyGILState_STATE _swig_thread_block = PyGILState_Ensure()

Definition at line 1006 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_THREAD_END_ALLOW

#define SWIG_PYTHON_THREAD_END_ALLOW PyEval_RestoreThread(_swig_thread_allow)

Definition at line 1009 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_THREAD_END_BLOCK

#define SWIG_PYTHON_THREAD_END_BLOCK PyGILState_Release(_swig_thread_block)

Definition at line 1007 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_THREADS

#define SWIG_PYTHON_THREADS

Definition at line 17 of file sat_python_wrap.cc.

◆ SWIG_PYTHON_USE_GIL

#define SWIG_PYTHON_USE_GIL

Definition at line 978 of file sat_python_wrap.cc.

◆ SWIG_RUNTIME_VERSION

#define SWIG_RUNTIME_VERSION "4"

Definition at line 192 of file sat_python_wrap.cc.

◆ SWIG_RuntimeError

#define SWIG_RuntimeError -3

Definition at line 760 of file sat_python_wrap.cc.

◆ SWIG_SetErrorMsg

#define SWIG_SetErrorMsg SWIG_Python_SetErrorMsg

Definition at line 1127 of file sat_python_wrap.cc.

◆ SWIG_SetErrorObj

#define SWIG_SetErrorObj SWIG_Python_SetErrorObj

Definition at line 1126 of file sat_python_wrap.cc.

◆ SWIG_SetModule

#define SWIG_SetModule	(	clientdata,
		pointer
	)	SWIG_Python_SetModule(pointer)

Definition at line 1123 of file sat_python_wrap.cc.

◆ SWIG_STATIC_POINTER

#define SWIG_STATIC_POINTER ( var ) var = 0; if (!var) var

Definition at line 1275 of file sat_python_wrap.cc.

◆ SWIG_SyntaxError

#define SWIG_SyntaxError -8

Definition at line 765 of file sat_python_wrap.cc.

◆ SWIG_SystemError

#define SWIG_SystemError -10

Definition at line 767 of file sat_python_wrap.cc.

◆ SWIG_TMPOBJ

#define SWIG_TMPOBJ (SWIG_OK | SWIG_TMPOBJMASK)

Definition at line 328 of file sat_python_wrap.cc.

◆ SWIG_TMPOBJMASK

#define SWIG_TMPOBJMASK (SWIG_NEWOBJMASK << 1)

Definition at line 323 of file sat_python_wrap.cc.

◆ SWIG_TYPE_TABLE_NAME

#define SWIG_TYPE_TABLE_NAME

Definition at line 200 of file sat_python_wrap.cc.

◆ SWIG_TypeError

#define SWIG_TypeError -5

Definition at line 762 of file sat_python_wrap.cc.

◆ SWIG_TypeQuery [1/2]

#define SWIG_TypeQuery ( name ) SWIG_TypeQueryModule(&swig_module, &swig_module, name)

Definition at line 3124 of file sat_python_wrap.cc.

◆ SWIG_TypeQuery [2/2]

#define SWIG_TypeQuery SWIG_Python_TypeQuery

Definition at line 3124 of file sat_python_wrap.cc.

◆ SWIG_UnknownError

#define SWIG_UnknownError -1

Definition at line 758 of file sat_python_wrap.cc.

◆ SWIG_ValueError

#define SWIG_ValueError -9

Definition at line 766 of file sat_python_wrap.cc.

◆ SWIG_VERSION

#define SWIG_VERSION SWIGVERSION

Definition at line 3139 of file sat_python_wrap.cc.

◆ SWIGEXPORT

#define SWIGEXPORT

Definition at line 130 of file sat_python_wrap.cc.

◆ SWIGINLINE

#define SWIGINLINE

Definition at line 67 of file sat_python_wrap.cc.

◆ SWIGINTERN

#define SWIGINTERN static SWIGUNUSED

Definition at line 102 of file sat_python_wrap.cc.

◆ SWIGINTERNINLINE

#define SWIGINTERNINLINE SWIGINTERN SWIGINLINE

Definition at line 107 of file sat_python_wrap.cc.

◆ SWIGPY_CAPSULE_NAME

#define SWIGPY_CAPSULE_NAME ("swig_runtime_data" SWIG_RUNTIME_VERSION ".type_pointer_capsule" SWIG_TYPE_TABLE_NAME)

Definition at line 858 of file sat_python_wrap.cc.

◆ SWIGPY_USE_CAPSULE

#define SWIGPY_USE_CAPSULE

Definition at line 857 of file sat_python_wrap.cc.

◆ SWIGPYTHON

#define SWIGPYTHON

Definition at line 13 of file sat_python_wrap.cc.

◆ SWIGRUNTIME

#define SWIGRUNTIME SWIGINTERN

Definition at line 213 of file sat_python_wrap.cc.

◆ SWIGRUNTIMEINLINE

#define SWIGRUNTIMEINLINE SWIGRUNTIME SWIGINLINE

Definition at line 217 of file sat_python_wrap.cc.

◆ SWIGSTDCALL

#define SWIGSTDCALL

Definition at line 140 of file sat_python_wrap.cc.

◆ SWIGTEMPLATEDISAMBIGUATOR

#define SWIGTEMPLATEDISAMBIGUATOR

Definition at line 58 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_char

#define SWIGTYPE_p_char swig_types[0]

Definition at line 3101 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_int

#define SWIGTYPE_p_int swig_types[1]

Definition at line 3102 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_long

#define SWIGTYPE_p_long swig_types[2]

Definition at line 3103 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_operations_research__Domain

#define SWIGTYPE_p_operations_research__Domain swig_types[3]

Definition at line 3104 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_operations_researchsatIntegerVariableProto

#define SWIGTYPE_p_operations_research__sat__IntegerVariableProto swig_types[4]

Definition at line 3105 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_operations_researchsatSatHelper

#define SWIGTYPE_p_operations_research__sat__SatHelper swig_types[5]

Definition at line 3106 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_operations_researchsatSolutionCallback

#define SWIGTYPE_p_operations_research__sat__SolutionCallback swig_types[6]

Definition at line 3107 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_short

#define SWIGTYPE_p_short swig_types[7]

Definition at line 3108 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_signed_char

#define SWIGTYPE_p_signed_char swig_types[8]

Definition at line 3109 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_unsigned_char

#define SWIGTYPE_p_unsigned_char swig_types[9]

Definition at line 3110 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_unsigned_int

#define SWIGTYPE_p_unsigned_int swig_types[10]

Definition at line 3111 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_unsigned_long

#define SWIGTYPE_p_unsigned_long swig_types[11]

Definition at line 3112 of file sat_python_wrap.cc.

◆ SWIGTYPE_p_unsigned_short

#define SWIGTYPE_p_unsigned_short swig_types[12]

Definition at line 3113 of file sat_python_wrap.cc.

◆ SWIGUNUSED

#define SWIGUNUSED

Definition at line 82 of file sat_python_wrap.cc.

◆ SWIGUNUSEDPARM

#define SWIGUNUSEDPARM ( p ) p SWIGUNUSED

Definition at line 96 of file sat_python_wrap.cc.

◆ SWIGVERSION

#define SWIGVERSION 0x040002

Definition at line 3138 of file sat_python_wrap.cc.

◆ SWIGWORDSIZE64

#define SWIGWORDSIZE64

Definition at line 3222 of file sat_python_wrap.cc.

Typedef Documentation

◆ swig_cast_info

typedef struct swig_cast_info swig_cast_info

◆ swig_const_info

typedef struct swig_const_info swig_const_info

◆ swig_converter_func

typedef void*(* swig_converter_func) (void *, int *)

Definition at line 365 of file sat_python_wrap.cc.

◆ swig_dycast_func

typedef struct swig_type_info*(* swig_dycast_func) (void **)

Definition at line 365 of file sat_python_wrap.cc.

◆ swig_globalvar

typedef struct swig_globalvar swig_globalvar

◆ swig_module_info

typedef struct swig_module_info swig_module_info

◆ swig_type_info

typedef struct swig_type_info swig_type_info

◆ swig_varlinkobject

typedef struct swig_varlinkobject swig_varlinkobject

Function Documentation

◆ _wrap_delete_SatHelper()

SWIGINTERN PyObject* _wrap_delete_SatHelper	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4732 of file sat_python_wrap.cc.

◆ _wrap_delete_SolutionCallback()

SWIGINTERN PyObject* _wrap_delete_SolutionCallback	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3716 of file sat_python_wrap.cc.

◆ _wrap_disown_SolutionCallback()

SWIGINTERN PyObject* _wrap_disown_SolutionCallback	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4221 of file sat_python_wrap.cc.

◆ _wrap_new_SatHelper()

SWIGINTERN PyObject* _wrap_new_SatHelper	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4715 of file sat_python_wrap.cc.

◆ _wrap_new_SolutionCallback()

SWIGINTERN PyObject* _wrap_new_SolutionCallback	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4193 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_ModelStats()

SWIGINTERN PyObject* _wrap_SatHelper_ModelStats	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4511 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_Solve()

SWIGINTERN PyObject* _wrap_SatHelper_Solve	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4262 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_SolverResponseStats()

SWIGINTERN PyObject* _wrap_SatHelper_SolverResponseStats	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4551 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_SolveWithParameters()

SWIGINTERN PyObject* _wrap_SatHelper_SolveWithParameters	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4328 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_SolveWithParametersAndSolutionCallback()

SWIGINTERN PyObject* _wrap_SatHelper_SolveWithParametersAndSolutionCallback	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4414 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_ValidateModel()

SWIGINTERN PyObject* _wrap_SatHelper_ValidateModel	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4591 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_VariableDomain()

SWIGINTERN PyObject* _wrap_SatHelper_VariableDomain	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4631 of file sat_python_wrap.cc.

◆ _wrap_SatHelper_WriteModelToFile()

SWIGINTERN PyObject* _wrap_SatHelper_WriteModelToFile	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4661 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_BestObjectiveBound()

SWIGINTERN PyObject* _wrap_SolutionCallback_BestObjectiveBound	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3992 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_HasResponse()

SWIGINTERN PyObject* _wrap_SolutionCallback_HasResponse	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4166 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_NumBinaryPropagations()

SWIGINTERN PyObject* _wrap_SolutionCallback_NumBinaryPropagations	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3857 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_NumBooleans()

SWIGINTERN PyObject* _wrap_SolutionCallback_NumBooleans	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3776 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_NumBranches()

SWIGINTERN PyObject* _wrap_SolutionCallback_NumBranches	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3803 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_NumConflicts()

SWIGINTERN PyObject* _wrap_SolutionCallback_NumConflicts	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3830 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_NumIntegerPropagations()

SWIGINTERN PyObject* _wrap_SolutionCallback_NumIntegerPropagations	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3884 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_ObjectiveValue()

SWIGINTERN PyObject* _wrap_SolutionCallback_ObjectiveValue	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3965 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_OnSolutionCallback()

SWIGINTERN PyObject* _wrap_SolutionCallback_OnSolutionCallback	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3742 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_Response()

SWIGINTERN PyObject* _wrap_SolutionCallback_Response	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4113 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_SolutionBooleanValue()

SWIGINTERN PyObject* _wrap_SolutionCallback_SolutionBooleanValue	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4053 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_SolutionIntegerValue()

SWIGINTERN PyObject* _wrap_SolutionCallback_SolutionIntegerValue	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4019 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_StopSearch()

SWIGINTERN PyObject* _wrap_SolutionCallback_StopSearch	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4087 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_UserTime()

SWIGINTERN PyObject* _wrap_SolutionCallback_UserTime	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3938 of file sat_python_wrap.cc.

◆ _wrap_SolutionCallback_WallTime()

SWIGINTERN PyObject* _wrap_SolutionCallback_WallTime	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 3911 of file sat_python_wrap.cc.

◆ HandleResult()

static ReturnT HandleResult ( PyObject * pyresult )

static

Definition at line 3266 of file sat_python_wrap.cc.

◆ HandleResult< void >()

void HandleResult< void > ( PyObject * pyresult )

Definition at line 3288 of file sat_python_wrap.cc.

◆ InvokePythonCallableReturning() [1/2]

static ReturnT InvokePythonCallableReturning ( PyObject * pyfunc )

static

Definition at line 3309 of file sat_python_wrap.cc.

◆ InvokePythonCallableReturning() [2/2]

static ReturnT InvokePythonCallableReturning	(	PyObject *	pyfunc,
		const char *	format,
		Args...	args
	)

static

Definition at line 3300 of file sat_python_wrap.cc.

◆ SatHelper_swiginit()

SWIGINTERN PyObject* SatHelper_swiginit	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4765 of file sat_python_wrap.cc.

◆ SatHelper_swigregister()

SWIGINTERN PyObject* SatHelper_swigregister	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4758 of file sat_python_wrap.cc.

◆ SolutionCallback_swiginit()

SWIGINTERN PyObject* SolutionCallback_swiginit	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4258 of file sat_python_wrap.cc.

◆ SolutionCallback_swigregister()

SWIGINTERN PyObject* SolutionCallback_swigregister	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	args
	)

Definition at line 4251 of file sat_python_wrap.cc.

◆ SWIG_AsCharPtrAndSize()

SWIGINTERN int SWIG_AsCharPtrAndSize	(	PyObject *	obj,
		char **	cptr,
		size_t *	psize,
		int *	alloc
	)

Definition at line 3530 of file sat_python_wrap.cc.

◆ SWIG_AsPtr_std_string()

SWIGINTERN int SWIG_AsPtr_std_string	(	PyObject *	obj,
		std::string **	val
	)

Definition at line 3639 of file sat_python_wrap.cc.

◆ SWIG_AsVal_double()

SWIGINTERN int SWIG_AsVal_double	(	PyObject *	obj,
		double *	val
	)

Definition at line 3337 of file sat_python_wrap.cc.

◆ SWIG_AsVal_int()

SWIGINTERN int SWIG_AsVal_int	(	PyObject *	obj,
		int *	val
	)

Definition at line 3462 of file sat_python_wrap.cc.

◆ SWIG_AsVal_long()

SWIGINTERN int SWIG_AsVal_long	(	PyObject *	obj,
		long *	val
	)

Definition at line 3419 of file sat_python_wrap.cc.

◆ SWIG_CanCastAsInteger()

SWIGINTERNINLINE int SWIG_CanCastAsInteger	(	double *	d,
		double	min,
		double	max
	)

Definition at line 3389 of file sat_python_wrap.cc.

◆ SWIG_From_bool()

SWIGINTERNINLINE PyObject* SWIG_From_bool ( bool value )

Definition at line 3478 of file sat_python_wrap.cc.

◆ SWIG_From_std_string()

SWIGINTERNINLINE PyObject* SWIG_From_std_string ( const std::string & s )

Definition at line 3523 of file sat_python_wrap.cc.

◆ SWIG_FromCharPtrAndSize()

SWIGINTERNINLINE PyObject* SWIG_FromCharPtrAndSize	(	const char *	carray,
		size_t	size
	)

Definition at line 3498 of file sat_python_wrap.cc.

◆ SWIG_globals()

SWIGINTERN PyObject* SWIG_globals ( void )

Definition at line 5325 of file sat_python_wrap.cc.

◆ SWIG_InitializeModule()

SWIGRUNTIME void SWIG_InitializeModule ( void * clientdata )

Definition at line 4936 of file sat_python_wrap.cc.

◆ SWIG_MangledTypeQueryModule()

SWIGRUNTIME swig_type_info* SWIG_MangledTypeQueryModule	(	swig_module_info *	start,
		swig_module_info *	end,
		const char *	name
	)

Definition at line 584 of file sat_python_wrap.cc.

◆ SWIG_PackData()

SWIGRUNTIME char* SWIG_PackData	(	char *	c,
		void *	ptr,
		size_t	sz
	)

Definition at line 658 of file sat_python_wrap.cc.

◆ SWIG_PackDataName()

SWIGRUNTIME char* SWIG_PackDataName	(	char *	buff,
		void *	ptr,
		size_t	sz,
		const char *	name,
		size_t	bsz
	)

Definition at line 726 of file sat_python_wrap.cc.

◆ SWIG_PackVoidPtr()

SWIGRUNTIME char* SWIG_PackVoidPtr	(	char *	buff,
		void *	ptr,
		const char *	name,
		size_t	bsz
	)

Definition at line 702 of file sat_python_wrap.cc.

◆ SWIG_pchar_descriptor()

SWIGINTERN swig_type_info* SWIG_pchar_descriptor ( void )

Definition at line 3485 of file sat_python_wrap.cc.

◆ SWIG_PropagateClientData()

SWIGRUNTIME void SWIG_PropagateClientData ( void )

Definition at line 5083 of file sat_python_wrap.cc.

◆ SWIG_Py_Void()

SWIGRUNTIMEINLINE PyObject* SWIG_Py_Void ( void )

Definition at line 1298 of file sat_python_wrap.cc.

◆ SWIG_PyInstanceMethod_New()

SWIGINTERN PyObject* SWIG_PyInstanceMethod_New	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	func
	)

Definition at line 5438 of file sat_python_wrap.cc.

◆ SWIG_PyStaticMethod_New()

SWIGINTERN PyObject* SWIG_PyStaticMethod_New	(	PyObject *	SWIGUNUSEDPARMself,
		PyObject *	func
	)

Definition at line 5457 of file sat_python_wrap.cc.

◆ SWIG_Python_AcquirePtr()

SWIGRUNTIME int SWIG_Python_AcquirePtr	(	PyObject *	obj,
		int	own
	)

Definition at line 2087 of file sat_python_wrap.cc.

◆ SWIG_Python_AddErrMesg()

SWIGRUNTIME int SWIG_Python_AddErrMesg	(	const char *	mesg,
		int	infront
	)

Definition at line 2507 of file sat_python_wrap.cc.

◆ SWIG_Python_AddErrorMsg()

SWIGRUNTIME void SWIG_Python_AddErrorMsg ( const char * mesg )

Definition at line 915 of file sat_python_wrap.cc.

◆ SWIG_Python_addvarlink()

SWIGINTERN void SWIG_Python_addvarlink	(	PyObject *	p,
		const char *	name,
		PyObject ()(void)	get_attr,
		int()(PyObject p)	set_attr
	)

Definition at line 5308 of file sat_python_wrap.cc.

◆ SWIG_Python_AppendOutput()

SWIGINTERN PyObject* SWIG_Python_AppendOutput	(	PyObject *	result,
		PyObject *	obj
	)

Definition at line 1186 of file sat_python_wrap.cc.

◆ SWIG_Python_ArgFail()

SWIGRUNTIME int SWIG_Python_ArgFail ( int argnum )

Definition at line 2535 of file sat_python_wrap.cc.

◆ SWIG_Python_CheckImplicit()

SWIGRUNTIMEINLINE int SWIG_Python_CheckImplicit ( swig_type_info * ty )

Definition at line 1318 of file sat_python_wrap.cc.

◆ SWIG_Python_CheckNoKeywords()

SWIGINTERN int SWIG_Python_CheckNoKeywords	(	PyObject *	kwargs,
		const char *	name
	)

Definition at line 1253 of file sat_python_wrap.cc.

◆ SWIG_Python_ConvertFunctionPtr()

SWIGRUNTIME int SWIG_Python_ConvertFunctionPtr	(	PyObject *	obj,
		void **	ptr,
		swig_type_info *	ty
	)

Definition at line 2207 of file sat_python_wrap.cc.

◆ SWIG_Python_ConvertPacked()

SWIGRUNTIME int SWIG_Python_ConvertPacked	(	PyObject *	obj,
		void *	ptr,
		size_t	sz,
		swig_type_info *	ty
	)

Definition at line 2236 of file sat_python_wrap.cc.

◆ SWIG_Python_ConvertPtrAndOwn()

SWIGRUNTIME int SWIG_Python_ConvertPtrAndOwn	(	PyObject *	obj,
		void **	ptr,
		swig_type_info *	ty,
		int	flags,
		int *	own
	)

Definition at line 2102 of file sat_python_wrap.cc.

◆ SWIG_Python_DestroyModule()

SWIGRUNTIME void SWIG_Python_DestroyModule ( PyObject * obj )

Definition at line 2437 of file sat_python_wrap.cc.

◆ SWIG_Python_ErrorType()

SWIGRUNTIME PyObject* SWIG_Python_ErrorType ( int code )

Definition at line 871 of file sat_python_wrap.cc.

◆ SWIG_Python_ExceptionType()

SWIGRUNTIMEINLINE PyObject* SWIG_Python_ExceptionType ( swig_type_info * desc )

Definition at line 1328 of file sat_python_wrap.cc.

◆ SWIG_Python_FixMethods()

SWIGINTERN void SWIG_Python_FixMethods	(	PyMethodDef *	methods,
		swig_const_info *	const_table,
		swig_type_info **	types,
		swig_type_info **	types_initial
	)

Definition at line 5366 of file sat_python_wrap.cc.

◆ SWIG_Python_GetModule()

SWIGRUNTIME swig_module_info* SWIG_Python_GetModule ( void * SWIGUNUSEDPARMclientdata )

Definition at line 2419 of file sat_python_wrap.cc.

◆ SWIG_Python_GetSwigThis()

SWIGRUNTIME SwigPyObject* SWIG_Python_GetSwigThis ( PyObject * pyobj )

Definition at line 2021 of file sat_python_wrap.cc.

◆ SWIG_Python_InitShadowInstance()

SWIGINTERN PyObject* SWIG_Python_InitShadowInstance ( PyObject * args )

Definition at line 2333 of file sat_python_wrap.cc.

◆ SWIG_Python_InstallConstants()

SWIGINTERN void SWIG_Python_InstallConstants	(	PyObject *	d,
		swig_const_info	constants[]
	)

Definition at line 5339 of file sat_python_wrap.cc.

◆ SWIG_Python_MustGetPtr()

SWIGRUNTIME void* SWIG_Python_MustGetPtr	(	PyObject *	obj,
		swig_type_info *	ty,
		int	SWIGUNUSEDPARMargnum,
		int	flags
	)

Definition at line 2595 of file sat_python_wrap.cc.

◆ SWIG_Python_NewPackedObj()

SWIGRUNTIMEINLINE PyObject* SWIG_Python_NewPackedObj	(	void *	ptr,
		size_t	sz,
		swig_type_info *	type
	)

Definition at line 2406 of file sat_python_wrap.cc.

◆ SWIG_Python_NewPointerObj()

SWIGRUNTIME PyObject* SWIG_Python_NewPointerObj	(	PyObject *	self,
		void *	ptr,
		swig_type_info *	type,
		int	flags
	)

Definition at line 2352 of file sat_python_wrap.cc.

◆ SWIG_Python_NewShadowInstance()

SWIGRUNTIME PyObject* SWIG_Python_NewShadowInstance	(	SwigPyClientData *	data,
		PyObject *	swig_this
	)

Definition at line 2259 of file sat_python_wrap.cc.

◆ SWIG_Python_newvarlink()

SWIGINTERN PyObject* SWIG_Python_newvarlink ( void )

Definition at line 5299 of file sat_python_wrap.cc.

◆ SWIG_Python_RaiseOrModifyTypeError()

SWIGRUNTIME void SWIG_Python_RaiseOrModifyTypeError ( const char * message )

Definition at line 951 of file sat_python_wrap.cc.

◆ SWIG_Python_SetConstant()

SWIGINTERN void SWIG_Python_SetConstant	(	PyObject *	d,
		const char *	name,
		PyObject *	obj
	)

Definition at line 1176 of file sat_python_wrap.cc.

◆ SWIG_Python_SetErrorMsg()

SWIGINTERN void SWIG_Python_SetErrorMsg	(	PyObject *	errtype,
		const char *	msg
	)

Definition at line 1146 of file sat_python_wrap.cc.

◆ SWIG_Python_SetErrorObj()

SWIGINTERN void SWIG_Python_SetErrorObj	(	PyObject *	errtype,
		PyObject *	obj
	)

Definition at line 1138 of file sat_python_wrap.cc.

◆ SWIG_Python_SetModule()

SWIGRUNTIME void SWIG_Python_SetModule ( swig_module_info * swig_module )

Definition at line 2454 of file sat_python_wrap.cc.

◆ SWIG_Python_SetSwigThis()

SWIGRUNTIME int SWIG_Python_SetSwigThis	(	PyObject *	inst,
		PyObject *	swig_this
	)

Definition at line 2315 of file sat_python_wrap.cc.

◆ SWIG_Python_str_AsChar()

SWIGINTERN char* SWIG_Python_str_AsChar ( PyObject * str )

Definition at line 811 of file sat_python_wrap.cc.

◆ SWIG_Python_str_FromChar()

SWIGINTERN PyObject* SWIG_Python_str_FromChar ( const char * c )

Definition at line 842 of file sat_python_wrap.cc.

◆ SWIG_Python_TypeCache()

SWIGRUNTIME PyObject* SWIG_Python_TypeCache ( void )

Definition at line 2472 of file sat_python_wrap.cc.

◆ SWIG_Python_TypeError()

SWIGRUNTIME void SWIG_Python_TypeError	(	const char *	type,
		PyObject *	obj
	)

Definition at line 2556 of file sat_python_wrap.cc.

◆ SWIG_Python_TypeErrorOccurred()

SWIGRUNTIME int SWIG_Python_TypeErrorOccurred ( PyObject * obj )

Definition at line 941 of file sat_python_wrap.cc.

◆ SWIG_Python_TypeQuery()

SWIGRUNTIME swig_type_info* SWIG_Python_TypeQuery ( const char * type )

Definition at line 2478 of file sat_python_wrap.cc.

◆ SWIG_Python_UnpackTuple()

SWIGINTERN Py_ssize_t SWIG_Python_UnpackTuple	(	PyObject *	args,
		const char *	name,
		Py_ssize_t	min,
		Py_ssize_t	max,
		PyObject **	objs
	)

Definition at line 1207 of file sat_python_wrap.cc.

◆ SWIG_PythonGetProxyDoc()

SWIGINTERN PyMethodDef* SWIG_PythonGetProxyDoc ( const char * name )

Definition at line 5418 of file sat_python_wrap.cc.

◆ SWIG_This()

SWIGRUNTIME PyObject* SWIG_This ( void )

Definition at line 2006 of file sat_python_wrap.cc.

◆ SWIG_TypeCast()

SWIGRUNTIMEINLINE void* SWIG_TypeCast	(	swig_cast_info *	ty,
		void *	ptr,
		int *	newmemory
	)

Definition at line 502 of file sat_python_wrap.cc.

◆ SWIG_TypeCheck()

SWIGRUNTIME swig_cast_info* SWIG_TypeCheck	(	const char *	c,
		swig_type_info *	ty
	)

Definition at line 448 of file sat_python_wrap.cc.

◆ SWIG_TypeCheckStruct()

SWIGRUNTIME swig_cast_info* SWIG_TypeCheckStruct	(	swig_type_info *	from,
		swig_type_info *	ty
	)

Definition at line 475 of file sat_python_wrap.cc.

◆ SWIG_TypeClientData()

SWIGRUNTIME void SWIG_TypeClientData	(	swig_type_info *	ti,
		void *	clientdata
	)

Definition at line 554 of file sat_python_wrap.cc.

◆ SWIG_TypeCmp()

SWIGRUNTIME int SWIG_TypeCmp	(	const char *	nb,
		const char *	tb
	)

Definition at line 421 of file sat_python_wrap.cc.

◆ SWIG_TypeDynamicCast()

SWIGRUNTIME swig_type_info* SWIG_TypeDynamicCast	(	swig_type_info *	ty,
		void **	ptr
	)

Definition at line 510 of file sat_python_wrap.cc.

◆ SWIG_TypeEquiv()

SWIGRUNTIME int SWIG_TypeEquiv	(	const char *	nb,
		const char *	tb
	)

Definition at line 440 of file sat_python_wrap.cc.

◆ SWIG_TypeName()

SWIGRUNTIMEINLINE const char* SWIG_TypeName ( const swig_type_info * ty )

Definition at line 524 of file sat_python_wrap.cc.

◆ SWIG_TypeNameComp()

SWIGRUNTIME int SWIG_TypeNameComp	(	const char *	f1,
		const char *	l1,
		const char *	f2,
		const char *	l2
	)

Definition at line 406 of file sat_python_wrap.cc.

◆ SWIG_TypeNewClientData()

SWIGRUNTIME void SWIG_TypeNewClientData	(	swig_type_info *	ti,
		void *	clientdata
	)

Definition at line 570 of file sat_python_wrap.cc.

◆ SWIG_TypePrettyName()

SWIGRUNTIME const char* SWIG_TypePrettyName ( const swig_type_info * type )

Definition at line 533 of file sat_python_wrap.cc.

◆ SWIG_TypeQueryModule()

SWIGRUNTIME swig_type_info* SWIG_TypeQueryModule	(	swig_module_info *	start,
		swig_module_info *	end,
		const char *	name
	)

Definition at line 629 of file sat_python_wrap.cc.

◆ SWIG_UnpackData()

SWIGRUNTIME const char* SWIG_UnpackData	(	const char *	c,
		void *	ptr,
		size_t	sz
	)

Definition at line 674 of file sat_python_wrap.cc.

◆ SWIG_UnpackDataName()

SWIGRUNTIME const char* SWIG_UnpackDataName	(	const char *	c,
		void *	ptr,
		size_t	sz,
		const char *	name
	)

Definition at line 741 of file sat_python_wrap.cc.

◆ SWIG_UnpackVoidPtr()

SWIGRUNTIME const char* SWIG_UnpackVoidPtr	(	const char *	c,
		void **	ptr,
		const char *	name
	)

Definition at line 713 of file sat_python_wrap.cc.

◆ swig_varlink_dealloc()

SWIGINTERN void swig_varlink_dealloc ( swig_varlinkobject * v )

Definition at line 5188 of file sat_python_wrap.cc.

◆ swig_varlink_getattr()

SWIGINTERN PyObject* swig_varlink_getattr	(	swig_varlinkobject *	v,
		char *	n
	)

Definition at line 5199 of file sat_python_wrap.cc.

◆ swig_varlink_repr()

SWIGINTERN PyObject* swig_varlink_repr ( swig_varlinkobject * SWIGUNUSEDPARMv )

Definition at line 5141 of file sat_python_wrap.cc.

◆ swig_varlink_setattr()

SWIGINTERN int swig_varlink_setattr	(	swig_varlinkobject *	v,
		char *	n,
		PyObject *	p
	)

Definition at line 5216 of file sat_python_wrap.cc.

◆ swig_varlink_str()

SWIGINTERN PyObject* swig_varlink_str ( swig_varlinkobject * v )

Definition at line 5150 of file sat_python_wrap.cc.

◆ swig_varlink_type()

SWIGINTERN PyTypeObject* swig_varlink_type ( void )

Definition at line 5233 of file sat_python_wrap.cc.

◆ SwigPyClientData_Del()

SWIGRUNTIME void SwigPyClientData_Del ( SwigPyClientData * data )

Definition at line 1382 of file sat_python_wrap.cc.

◆ SwigPyClientData_New()

SWIGRUNTIME SwigPyClientData* SwigPyClientData_New ( PyObject * obj )

Definition at line 1336 of file sat_python_wrap.cc.

◆ SwigPyObject_acquire()

SWIGINTERN PyObject* SwigPyObject_acquire	(	PyObject *	v,
		PyObject *	SWIGUNUSEDPARMargs
	)

Definition at line 1629 of file sat_python_wrap.cc.

◆ SwigPyObject_append()

SWIGRUNTIME PyObject* SwigPyObject_append	(	PyObject *	v,
		PyObject *	next
	)

Definition at line 1596 of file sat_python_wrap.cc.

◆ SwigPyObject_Check()

SWIGRUNTIMEINLINE int SwigPyObject_Check ( PyObject * op )

Definition at line 1529 of file sat_python_wrap.cc.

◆ SwigPyObject_compare()

SWIGRUNTIME int SwigPyObject_compare	(	SwigPyObject *	v,
		SwigPyObject *	w
	)

Definition at line 1486 of file sat_python_wrap.cc.

◆ SwigPyObject_dealloc()

SWIGRUNTIME void SwigPyObject_dealloc ( PyObject * v )

Definition at line 1545 of file sat_python_wrap.cc.

◆ SwigPyObject_disown()

SWIGINTERN PyObject* SwigPyObject_disown	(	PyObject *	v,
		PyObject *	SWIGUNUSEDPARMargs
	)

Definition at line 1621 of file sat_python_wrap.cc.

◆ SwigPyObject_format()

SWIGRUNTIME PyObject* SwigPyObject_format	(	const char *	fmt,
		SwigPyObject *	v
	)

Definition at line 1425 of file sat_python_wrap.cc.

◆ SwigPyObject_GetDesc()

SWIGRUNTIMEINLINE const char* SwigPyObject_GetDesc ( PyObject * self )

Definition at line 2548 of file sat_python_wrap.cc.

◆ SwigPyObject_hex()

SWIGRUNTIME PyObject* SwigPyObject_hex ( SwigPyObject * v )

Definition at line 1453 of file sat_python_wrap.cc.

◆ SwigPyObject_long()

SWIGRUNTIME PyObject* SwigPyObject_long ( SwigPyObject * v )

Definition at line 1419 of file sat_python_wrap.cc.

◆ SwigPyObject_New()

SWIGRUNTIME PyObject* SwigPyObject_New	(	void *	ptr,
		swig_type_info *	ty,
		int	own
	)

Definition at line 1801 of file sat_python_wrap.cc.

◆ SwigPyObject_next()

SWIGRUNTIME PyObject* SwigPyObject_next	(	PyObject *	v,
		PyObject *	SWIGUNUSEDPARMargs
	)

Definition at line 1609 of file sat_python_wrap.cc.

◆ SwigPyObject_oct()

SWIGRUNTIME PyObject* SwigPyObject_oct ( SwigPyObject * v )

Definition at line 1447 of file sat_python_wrap.cc.

◆ SwigPyObject_own()

SWIGINTERN PyObject* SwigPyObject_own	(	PyObject *	v,
		PyObject *	args
	)

Definition at line 1637 of file sat_python_wrap.cc.

◆ SwigPyObject_repr()

SWIGRUNTIME PyObject* SwigPyObject_repr ( SwigPyObject * v )

Definition at line 1459 of file sat_python_wrap.cc.

◆ SwigPyObject_repr2()

SWIGRUNTIME PyObject* SwigPyObject_repr2	(	PyObject *	v,
		PyObject *	SWIGUNUSEDPARMargs
	)

Definition at line 1480 of file sat_python_wrap.cc.

◆ SwigPyObject_richcompare()

SWIGRUNTIME PyObject* SwigPyObject_richcompare	(	SwigPyObject *	v,
		SwigPyObject *	w,
		int	op
	)

Definition at line 1495 of file sat_python_wrap.cc.

◆ SwigPyObject_type()

SWIGRUNTIME PyTypeObject* SwigPyObject_type ( void )

Definition at line 1522 of file sat_python_wrap.cc.

◆ SwigPyObject_TypeOnce()

SWIGRUNTIME PyTypeObject* SwigPyObject_TypeOnce ( void )

Definition at line 1668 of file sat_python_wrap.cc.

◆ SwigPyPacked_Check()

SWIGRUNTIMEINLINE int SwigPyPacked_Check ( PyObject * op )

Definition at line 1864 of file sat_python_wrap.cc.

◆ SwigPyPacked_compare()

SWIGRUNTIME int SwigPyPacked_compare	(	SwigPyPacked *	v,
		SwigPyPacked *	w
	)

Definition at line 1847 of file sat_python_wrap.cc.

◆ SwigPyPacked_dealloc()

SWIGRUNTIME void SwigPyPacked_dealloc ( PyObject * v )

Definition at line 1870 of file sat_python_wrap.cc.

◆ SwigPyPacked_New()

SWIGRUNTIME PyObject* SwigPyPacked_New	(	void *	ptr,
		size_t	size,
		swig_type_info *	ty
	)

Definition at line 1968 of file sat_python_wrap.cc.

◆ SwigPyPacked_repr()

SWIGRUNTIME PyObject* SwigPyPacked_repr ( SwigPyPacked * v )

Definition at line 1825 of file sat_python_wrap.cc.

◆ SwigPyPacked_str()

SWIGRUNTIME PyObject* SwigPyPacked_str ( SwigPyPacked * v )

Definition at line 1836 of file sat_python_wrap.cc.

◆ SwigPyPacked_type()

SWIGRUNTIME PyTypeObject* SwigPyPacked_type ( void )

Definition at line 1858 of file sat_python_wrap.cc.

◆ SwigPyPacked_TypeOnce()

SWIGRUNTIME PyTypeObject* SwigPyPacked_TypeOnce ( void )

Definition at line 1880 of file sat_python_wrap.cc.

◆ SwigPyPacked_UnpackData()

SWIGRUNTIME swig_type_info* SwigPyPacked_UnpackData	(	PyObject *	obj,
		void *	ptr,
		size_t	size
	)

Definition at line 1987 of file sat_python_wrap.cc.

Variable Documentation

◆ _swigc__p_char

swig_cast_info _swigc__p_char[] = { {&_swigt__p_char, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4843 of file sat_python_wrap.cc.

◆ _swigc__p_int

swig_cast_info _swigc__p_int[] = { {&_swigt__p_int, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4844 of file sat_python_wrap.cc.

◆ _swigc__p_long

swig_cast_info _swigc__p_long[] = { {&_swigt__p_long, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4845 of file sat_python_wrap.cc.

◆ _swigc__p_operations_research__Domain

swig_cast_info _swigc__p_operations_research__Domain[] = { {&_swigt__p_operations_research__Domain, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4846 of file sat_python_wrap.cc.

◆ _swigc__p_operations_researchsatIntegerVariableProto

swig_cast_info _swigc__p_operations_research__sat__IntegerVariableProto[] = { {&_swigt__p_operations_research__sat__IntegerVariableProto, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4847 of file sat_python_wrap.cc.

◆ _swigc__p_operations_researchsatSatHelper

swig_cast_info _swigc__p_operations_research__sat__SatHelper[] = { {&_swigt__p_operations_research__sat__SatHelper, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4848 of file sat_python_wrap.cc.

◆ _swigc__p_operations_researchsatSolutionCallback

swig_cast_info _swigc__p_operations_research__sat__SolutionCallback[] = { {&_swigt__p_operations_research__sat__SolutionCallback, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4849 of file sat_python_wrap.cc.

◆ _swigc__p_short

swig_cast_info _swigc__p_short[] = { {&_swigt__p_short, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4850 of file sat_python_wrap.cc.

◆ _swigc__p_signed_char

swig_cast_info _swigc__p_signed_char[] = { {&_swigt__p_signed_char, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4851 of file sat_python_wrap.cc.

◆ _swigc__p_unsigned_char

swig_cast_info _swigc__p_unsigned_char[] = { {&_swigt__p_unsigned_char, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4852 of file sat_python_wrap.cc.

◆ _swigc__p_unsigned_int

swig_cast_info _swigc__p_unsigned_int[] = { {&_swigt__p_unsigned_int, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4853 of file sat_python_wrap.cc.

◆ _swigc__p_unsigned_long

swig_cast_info _swigc__p_unsigned_long[] = { {&_swigt__p_unsigned_long, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4854 of file sat_python_wrap.cc.

◆ _swigc__p_unsigned_short

swig_cast_info _swigc__p_unsigned_short[] = { {&_swigt__p_unsigned_short, 0, 0, 0},{0, 0, 0, 0}}

static

Definition at line 4855 of file sat_python_wrap.cc.

◆ _swigt__p_char

swig_type_info _swigt__p_char = {"_p_char", "char *", 0, 0, (void*)0, 0}

static

Definition at line 4813 of file sat_python_wrap.cc.

◆ _swigt__p_int

swig_type_info _swigt__p_int = {"_p_int", "int *|int_least32_t *|int32 *|int32_t *", 0, 0, (void*)0, 0}

static

Definition at line 4814 of file sat_python_wrap.cc.

◆ _swigt__p_long

swig_type_info _swigt__p_long = {"_p_long", "intptr_t *|int_least64_t *|int_fast32_t *|int_fast64_t *|int64 *|int64_t *|long *|int_fast16_t *|intmax_t *", 0, 0, (void*)0, 0}

static

Definition at line 4815 of file sat_python_wrap.cc.

◆ _swigt__p_operations_research__Domain

swig_type_info _swigt__p_operations_research__Domain = {"_p_operations_research__Domain", "operations_research::Domain *", 0, 0, (void*)0, 0}

static

Definition at line 4816 of file sat_python_wrap.cc.

◆ _swigt__p_operations_researchsatIntegerVariableProto

swig_type_info _swigt__p_operations_research__sat__IntegerVariableProto = {"_p_operations_research__sat__IntegerVariableProto", "operations_research::sat::IntegerVariableProto *", 0, 0, (void*)0, 0}

static

Definition at line 4817 of file sat_python_wrap.cc.

◆ _swigt__p_operations_researchsatSatHelper

swig_type_info _swigt__p_operations_research__sat__SatHelper = {"_p_operations_research__sat__SatHelper", "operations_research::sat::SatHelper *", 0, 0, (void*)0, 0}

static

Definition at line 4818 of file sat_python_wrap.cc.

◆ _swigt__p_operations_researchsatSolutionCallback

swig_type_info _swigt__p_operations_research__sat__SolutionCallback = {"_p_operations_research__sat__SolutionCallback", "operations_research::sat::SolutionCallback *", 0, 0, (void*)0, 0}

static

Definition at line 4819 of file sat_python_wrap.cc.

◆ _swigt__p_short

swig_type_info _swigt__p_short = {"_p_short", "int16 *|short *|int_least16_t *|int16_t *", 0, 0, (void*)0, 0}

static

Definition at line 4820 of file sat_python_wrap.cc.

◆ _swigt__p_signed_char

swig_type_info _swigt__p_signed_char = {"_p_signed_char", "signed char *|int8 *|int_least8_t *|int_fast8_t *|int8_t *", 0, 0, (void*)0, 0}

static

Definition at line 4821 of file sat_python_wrap.cc.

◆ _swigt__p_unsigned_char

swig_type_info _swigt__p_unsigned_char = {"_p_unsigned_char", "unsigned char *|uint8 *|uint_least8_t *|uint_fast8_t *|uint8_t *", 0, 0, (void*)0, 0}

static

Definition at line 4822 of file sat_python_wrap.cc.

◆ _swigt__p_unsigned_int

swig_type_info _swigt__p_unsigned_int = {"_p_unsigned_int", "uint_least32_t *|uint32 *|uint32_t *|unsigned int *", 0, 0, (void*)0, 0}

static

Definition at line 4823 of file sat_python_wrap.cc.

◆ _swigt__p_unsigned_long

swig_type_info _swigt__p_unsigned_long = {"_p_unsigned_long", "uintptr_t *|uint_least64_t *|uint_fast32_t *|uint_fast64_t *|uint64 *|uint64_t *|unsigned long *|uint_fast16_t *|uintmax_t *", 0, 0, (void*)0, 0}

static

Definition at line 4824 of file sat_python_wrap.cc.

◆ _swigt__p_unsigned_short

swig_type_info _swigt__p_unsigned_short = {"_p_unsigned_short", "uint16 *|unsigned short *|uint_least16_t *|uint16_t *", 0, 0, (void*)0, 0}

static

Definition at line 4825 of file sat_python_wrap.cc.

◆ swig_cast_initial

swig_cast_info* swig_cast_initial[]

static

Initial value:

= {
  _swigc__p_char,
  _swigc__p_int,
  _swigc__p_long,
  _swigc__p_operations_research__Domain,
  _swigc__p_operations_research__sat__IntegerVariableProto,
  _swigc__p_operations_research__sat__SatHelper,
  _swigc__p_operations_research__sat__SolutionCallback,
  _swigc__p_short,
  _swigc__p_signed_char,
  _swigc__p_unsigned_char,
  _swigc__p_unsigned_int,
  _swigc__p_unsigned_long,
  _swigc__p_unsigned_short,
}

Definition at line 4857 of file sat_python_wrap.cc.

◆ swig_const_table

swig_const_info swig_const_table[]

static

Initial value:

= {

{0, 0, 0, 0.0, 0, 0}}

Definition at line 4876 of file sat_python_wrap.cc.

◆ swig_module

swig_module_info swig_module = {swig_types, 13, 0, 0, 0, 0}

static

Definition at line 3115 of file sat_python_wrap.cc.

◆ Swig_This_global

PyObject* Swig_This_global = NULL

static

Definition at line 2003 of file sat_python_wrap.cc.

◆ swig_type_initial

swig_type_info* swig_type_initial[]

static

Initial value:

= {
  &_swigt__p_char,
  &_swigt__p_int,
  &_swigt__p_long,
  &_swigt__p_operations_research__Domain,
  &_swigt__p_operations_research__sat__IntegerVariableProto,
  &_swigt__p_operations_research__sat__SatHelper,
  &_swigt__p_operations_research__sat__SolutionCallback,
  &_swigt__p_short,
  &_swigt__p_signed_char,
  &_swigt__p_unsigned_char,
  &_swigt__p_unsigned_int,
  &_swigt__p_unsigned_long,
  &_swigt__p_unsigned_short,
}

Definition at line 4827 of file sat_python_wrap.cc.

◆ swig_types

swig_type_info* swig_types[14]

static

Definition at line 3114 of file sat_python_wrap.cc.

◆ SwigMethods

PyMethodDef SwigMethods[]

static

Definition at line 4769 of file sat_python_wrap.cc.

◆ SwigMethods_proxydocs

PyMethodDef SwigMethods_proxydocs[]

static

Initial value:

= {
     { NULL, NULL, 0, NULL }
}

Definition at line 4806 of file sat_python_wrap.cc.

◆ swigobject_methods

PyMethodDef swigobject_methods[]

static

Initial value:

= {
  {"disown",  SwigPyObject_disown,  METH_NOARGS,  "releases ownership of the pointer"},
  {"acquire", SwigPyObject_acquire, METH_NOARGS,  "acquires ownership of the pointer"},
  {"own",     SwigPyObject_own,     METH_VARARGS, "returns/sets ownership of the pointer"},
  {"append",  SwigPyObject_append,  METH_O,       "appends another 'this' object"},
  {"next",    SwigPyObject_next,    METH_NOARGS,  "returns the next 'this' object"},
  {"__repr__",SwigPyObject_repr2,   METH_NOARGS,  "returns object representation"},
  {0, 0, 0, 0}  
}

Definition at line 1657 of file sat_python_wrap.cc.

Classes

Namespaces

Macros

Typedefs

Functions

Variables

Macro Definition Documentation

◆ __THREAD__

◆ Py_hash_t

◆ Py_TYPE

◆ PyDescr_NAME

◆ PyDescr_TYPE

◆ PyObject_DEL

◆ SWIG_AcquirePtr

◆ SWIG_AddCast

◆ SWIG_AddNewMask

◆ SWIG_AddTmpMask

◆ SWIG_addvarlink

◆ SWIG_arg_fail

◆ SWIG_ArgError

◆ SWIG_as_voidptr

◆ SWIG_as_voidptrptr

◆ SWIG_AttributeError

◆ SWIG_BADOBJ

◆ SWIG_BUFFER_SIZE

◆ SWIG_BUILTIN_INIT

◆ SWIG_BUILTIN_TP_INIT

◆ SWIG_CAST_NEW_MEMORY

◆ SWIG_CASTRANKLIMIT

◆ SWIG_CheckImplicit

◆ SWIG_CheckState

◆ SWIG_contract_assert

◆ SWIG_ConvertFunctionPtr

◆ SWIG_ConvertInstance

◆ SWIG_ConvertMember

◆ SWIG_ConvertPacked

◆ SWIG_ConvertPtr

◆ SWIG_ConvertPtrAndOwn

◆ SWIG_DelNewMask

◆ SWIG_DelTmpMask

◆ SWIG_DIRECTOR_CAST

◆ SWIG_DIRECTOR_PYTHON_HEADER_

◆ SWIG_DIRECTOR_RGTR

◆ SWIG_DIRECTOR_UEH

◆ SWIG_DIRECTORS

◆ SWIG_DivisionByZero

◆ SWIG_ERROR

◆ SWIG_Error

◆ SWIG_ErrorType

◆ SWIG_exception

◆ SWIG_exception_fail

◆ SWIG_fail

◆ SWIG_From_double

◆ SWIG_From_long

◆ SWIG_GetModule

◆ SWIG_GUARD

◆ SWIG_IndexError

◆ SWIG_init

◆ SWIG_InstallConstants

◆ SWIG_InternalNewPointerObj

◆ SWIG_IOError

◆ SWIG_IsNewObj

◆ SWIG_IsOK

◆ SWIG_IsTmpObj

◆ SWIG_MangledTypeQuery

◆ SWIG_MemoryError

◆ SWIG_MustGetPtr

◆ SWIG_name

◆ SWIG_NewClientData

◆ SWIG_NewFunctionPtrObj

◆ SWIG_NewInstanceObj

◆ SWIG_NewMemberObj

◆ SWIG_NEWOBJ

◆ SWIG_NEWOBJMASK

◆ SWIG_NewPackedObj

◆ SWIG_NewPointerObj

◆ SWIG_newvarlink

◆ SWIG_NullReferenceError

◆ SWIG_OK

◆ SWIG_OLDOBJ

◆ THREAD

◆ SWIGTYPE_p_operations_researchsatIntegerVariableProto

◆ SWIGTYPE_p_operations_researchsatSatHelper

◆ SWIGTYPE_p_operations_researchsatSolutionCallback