B @`8!@shddlmZedkredes(dekr6ddlmZnddlZy ddlZ Wne k rfddl Z YnXdd Z d d Z d d Z ddZGdddeZddlZddlZGdddeZeeGdddeZeedddddZddddddZdddddd d!Zdd"dd#d$Zd%d"d&d'd(Zdd"dd)d*Zd+d,d-d.d/Zdd0d1d2d3d4ZdS)5) version_info)rzPython 2.7 or later required.) _pywrapsatNcCsDyd|j}Wntjk r,d}YnXd|jj|jj|fS)Nz proxy of z <%s.%s; %s >)this__repr__ __builtin__ Exception __class__ __module____name__)selfZstrthisr9/tmp/pip-unpacked-wheel-6vtt70cy/ortools/sat/pywrapsat.py _swig_reprs  rcsfdd}|S)Ncsh|dkr|j|nN|dkr,|||n8t||rXttt||trX|||n td|dS)Nthisownr z(You cannot add instance attributes to %s)r ownhasattr isinstancegetattrtypepropertyAttributeError)rnamevalue)setrrset_instance_attrszE_swig_setattr_nondynamic_instance_variable..set_instance_attrr)rrr)rr*_swig_setattr_nondynamic_instance_variables r csfdd}|S)Ncs8t||r(tt||ts(|||n td|dS)Nz%You cannot add class attributes to %s)rrrrr)clsrr)rrrset_class_attr,sz?_swig_setattr_nondynamic_class_variable..set_class_attrr)rr"r)rr'_swig_setattr_nondynamic_class_variable+s r#csfdd}|S)zlClass decorator for adding a metaclass to a SWIG wrapped class - a slimmed down version of six.add_metaclasscs|j|j|jS)N)r __bases____dict__copy)r!) metaclassrrwrapper6sz$_swig_add_metaclass..wrapperr)r'r(r)r'r_swig_add_metaclass4s r)c@seZdZdZeejZdS)_SwigNonDynamicMetazKMeta class to enforce nondynamic attributes (no new attributes) for a classN)rr __qualname____doc__r#r __setattr__rrrrr*;sr*c@seZdZeddddddZeZejZ dddd Z d dd d Z d dd dZ d dddZ d dddZd dddZddddZddddZddddZddddZdd dd d!Zdd"dd#d$Zddd%d&Zd'dd(d)Zd"dd*d+Zd,d-Zd.d/Zd0S)1SolutionCallbackcCs |jS)N)r r)xrrrFzSolutionCallback.cCs |j|S)N)r r)r/vrrrr0Fr1zThe membership flag)docvoid)returncCs t|S)N)rZ#SolutionCallback_OnSolutionCallback)rrrrOnSolutionCallbackJsz#SolutionCallback.OnSolutionCallbackZint64cCs t|S)N)rZSolutionCallback_NumBooleans)rrrr NumBooleansMszSolutionCallback.NumBooleanscCs t|S)N)rZSolutionCallback_NumBranches)rrrr NumBranchesPszSolutionCallback.NumBranchescCs t|S)N)rZSolutionCallback_NumConflicts)rrrr NumConflictsSszSolutionCallback.NumConflictscCs t|S)N)rZ&SolutionCallback_NumBinaryPropagations)rrrrNumBinaryPropagationsVsz&SolutionCallback.NumBinaryPropagationscCs t|S)N)rZ'SolutionCallback_NumIntegerPropagations)rrrrNumIntegerPropagationsYsz'SolutionCallback.NumIntegerPropagationsdoublecCs t|S)N)rZSolutionCallback_WallTime)rrrrWallTime\szSolutionCallback.WallTimecCs t|S)N)rZSolutionCallback_UserTime)rrrrUserTime_szSolutionCallback.UserTimecCs t|S)N)rZSolutionCallback_ObjectiveValue)rrrrObjectiveValuebszSolutionCallback.ObjectiveValuecCs t|S)N)rZ#SolutionCallback_BestObjectiveBound)rrrrBestObjectiveBoundesz#SolutionCallback.BestObjectiveBoundint)indexr5cCs t||S)N)rZ%SolutionCallback_SolutionIntegerValue)rrBrrrSolutionIntegerValuehsz%SolutionCallback.SolutionIntegerValueboolcCs t||S)N)rZ%SolutionCallback_SolutionBooleanValue)rrBrrrSolutionBooleanValueksz%SolutionCallback.SolutionBooleanValuecCs t|S)N)rZSolutionCallback_StopSearch)rrrr StopSearchnszSolutionCallback.StopSearchz*operations_research::sat::CpSolverResponsecCs t|S)N)rZSolutionCallback_Response)rrrrResponseqszSolutionCallback.ResponsecCs t|S)N)rZSolutionCallback_HasResponse)rrrr HasResponsetszSolutionCallback.HasResponsecCs*|jtkrd}n|}t|t|dS)N)r r.rZSolutionCallback_swiginitZnew_SolutionCallback)r_selfrrr__init__ws zSolutionCallback.__init__cCs|jt|t|S)N)r ZdisownrZdisown_SolutionCallbackweakrefproxy)rrrr __disown__}s  zSolutionCallback.__disown__N)rrr+rrrr rZdelete_SolutionCallback__swig_destroy__r6r7r8r9r:r;r=r>r?r@rCrErFrGrHrJrMrrrrr.Es(r.c@seZdZeddddddZeZedddd d Zedd dd d dZ edd dddddZ edddddZ edddddZ edddddZ eddddd Zedd!d"d#d$d%Zd&d'ZejZd(S)) SatHelpercCs |jS)N)r r)r/rrrr0r1zSatHelper.cCs |j|S)N)r r)r/r2rrrr0r1zThe membership flag)r3z.operations_research::sat::CpModelProto const &z*operations_research::sat::CpSolverResponse) model_protor5cCs t|S)N)rSatHelper_Solve)rPrrrSolveszSatHelper.Solvez/operations_research::sat::SatParameters const &)rP parametersr5cCs t||S)N)rSatHelper_SolveWithParameters)rPrSrrrSolveWithParametersszSatHelper.SolveWithParametersr.)rPrScallbackr5cCst|||S)N)r0SatHelper_SolveWithParametersAndSolutionCallback)rPrSrVrrr&SolveWithParametersAndSolutionCallbacksz0SatHelper.SolveWithParametersAndSolutionCallbackz std::stringcCs t|S)N)rSatHelper_ModelStats)rPrrr ModelStatsszSatHelper.ModelStatsz2operations_research::sat::CpSolverResponse const &)responser5cCs t|S)N)rSatHelper_SolverResponseStats)r[rrrSolverResponseStatsszSatHelper.SolverResponseStatscCs t|S)N)rSatHelper_ValidateModel)rPrrr ValidateModelszSatHelper.ValidateModelz6operations_research::sat::IntegerVariableProto const &zoperations_research::Domain)variable_protor5cCs t|S)N)rSatHelper_VariableDomain)r`rrrVariableDomainszSatHelper.VariableDomainzstd::string const &rD)rPfilenamer5cCs t||S)N)rSatHelper_WriteModelToFile)rPrcrrrWriteModelToFileszSatHelper.WriteModelToFilecCst|tdS)N)rZSatHelper_swiginitZ new_SatHelper)rrrrrJszSatHelper.__init__N)rrr+rrrr staticmethodrRrUrXrZr]r_rbrerJrZdelete_SatHelperrNrrrrrOs(rOz.operations_research::sat::CpModelProto const &z*operations_research::sat::CpSolverResponse)rPr5cCs t|S)N)rrQ)rPrrrrQsrQz/operations_research::sat::SatParameters const &)rPrSr5cCs t||S)N)rrT)rPrSrrrrTsrT)rPrSrVr5cCst|||S)N)rrW)rPrSrVrrrrWsrWz std::stringcCs t|S)N)rrY)rPrrrrYsrYz2operations_research::sat::CpSolverResponse const &)r[r5cCs t|S)N)rr\)r[rrrr\sr\cCs t|S)N)rr^)rPrrrr^sr^z6operations_research::sat::IntegerVariableProto const &zoperations_research::Domain)r`r5cCs t|S)N)rra)r`rrrrasrazstd::string const &rD)rPrcr5cCs t||S)N)rrd)rPrcrrrrdsrd) sysrZ_swig_python_version_info RuntimeError __package__rrrbuiltinsr ImportErrorrr r#r)rr*rKZnumbersobjectr.ZSolutionCallback_swigregisterrOZSatHelper_swigregisterrQrTrWrYr\r^rardrrrrs8     > )