cwiHSrSSKJrJrJrJrJrJrJr SSK J r J r J r J r Jr SSKJr SSKJr SSKJr SSKJrJr /S Qr"S S 5r"S S 5r"SS\5r"SS\\5r"SS5r"SS\S5rg)a Functions and classes related to solving. Examples -------- The following example shows how to intercept models with a callback: >>> from clingo import Control >>> >>> ctl = Control(["0"]) >>> ctl.add("base", [], "1 { a; b } 1.") >>> ctl.ground([("base", [])]) >>> print(ctl.solve(on_model=print)) Answer: a Answer: b SAT The following example shows how to yield models: >>> from clingo import Control >>> >>> ctl = Control(["0"]) >>> ctl.add("base", [], "1 { a; b } 1.") >>> ctl.ground([("base", [])]) >>> with ctl.solve(yield_=True) as hnd: ... for m in hnd: ... print(m) ... print(hnd.get()) ... Answer: a Answer: b SAT The following example shows how to solve asynchronously: >>> from clingo import Control >>> >>> ctl = Control(["0"]) >>> ctl.add("base", [], "1 { a; b } 1.") >>> ctl.ground([("base", [])]) >>> with ctl.solve(on_model=print, async_=True) as hnd: ... # some computation here ... hnd.wait() ... print(hnd.get()) ... Answer: a Answer: b SAT This example shows how to solve both iteratively and asynchronously: >>> from clingo import Control >>> >>> ctl = Control(["0"]) >>> ctl.add("base", [], "1 { a; b } 1.") >>> ctl.ground([("base", [])]) >>> with ctl.solve(yield_=True, async_=True) as hnd: ... while True: ... hnd.resume() ... # some computation here ... _ = hnd.wait() ... m = hnd.model() ... if m is None: ... print(hnd.get()) ... break ... print(m) b a a b None )ContextManagerIteratorListOptionalSequenceTupleUnion)_c_call_c_call2_ffi _handle_error_lib) OrderedEnum)Symbol) SymbolicAtoms)SliceSlicedSequence)Model ModelType SolveControl SolveHandle SolveResultc\rSrSrSrSr\S\4Sj5r\S\4Sj5r \S\ \4Sj5r \S\4Sj5r \S\ \4S j5r S rS rS rg )rUz& Captures the result of a solve call. cXlgN_repselfreps H/home/james-whalen/.local/lib/python3.13/site-packages/clingo/solving.py__init__SolveResult.__init__Z returncB[RUR-S:g$)z. Determine if the search space was exhausted. r)rclingo_solve_result_exhaustedrr!s r# exhaustedSolveResult.exhausted]s 22TYY>1DDr'cB[RUR-S:g$)z* Determine if the search was interrupted. r)rclingo_solve_result_interruptedrr+s r# interruptedSolveResult.interruptedds 44tyy@QFFr'c[RUR-S:wag[RUR-S:wagg)z} `True` if the problem is satisfiable, `False` if the problem is unsatisfiable, or `None` if the satisfiablity is not known. rTFN)rclingo_solve_result_satisfiabler!clingo_solve_result_unsatisfiabler+s r# satisfiableSolveResult.satisfiableks;  0 0499 < B  2 2TYY >1 Dr'cURSL$)zZ Determine if the satisfiablity is not known. This is equivalent to satisfiable is None. N)r5r+s r#unknownSolveResult.unknownws4''r'c[RUR-S:wag[RUR-S:wagg)z} `True` if the problem is unsatisfiable, `False` if the problem is satisfiable, or `None` if the satisfiablity is not known. rTFN)rr4rr3r+s r# unsatisfiableSolveResult.unsatisfiables;  2 2TYY >1 D  0 0499 < Br'cLUR(agUR(agg)NSATUNSATUNKNOWN)r5r;r+s r#__str__SolveResult.__str__s      r'c"SURS3$)Nz SolveResult()rr+s r#__repr__SolveResult.__repr__sdii[**r'rN)__name__ __module__ __qualname____firstlineno____doc__r$propertyboolr,r0rr5r8r;rArE__static_attributes__r'r#rrUsE4EE GTGG  Xd^  ((( x~  +r'rc\rSrSrSrSrS\\\\ \ 4\ 4SS4Sjr S\\\ \ 4\ 4S\\\ \ 4\ 44S jr S\\\\ \ 4\ 4SS4S jr\S\4S j5rS rg) rz6 Object that allows for controlling a running search. cXlgrrr s r#r$SolveControl.__init__r&r'literalsr(Nc vURn[R"S[U55n[ U5HJupE[ U[ 5(aXSU'M X%SnUb URnOSnUS(aUOU*X4'ML [[R"URU[U555 g)aG Add a clause that applies to the current solving step during the search. Parameters ---------- literals List of literals either represented as pairs of symbolic atoms and Booleans or as program literals. Notes ----- This function can only be called in a model callback or while iterating when using a `SolveHandle`. zclingo_literal_t[]rNr ) symbolic_atomsr newlen enumerate isinstanceintliteralrrclingo_solve_control_add_clauser)r!rTatomsp_litsilitatomslits r# add_clauseSolveControl.add_clauses##.H >)FA#s##q V}#<*_SymbolSequence.__str__..s6#SXX]joinr+s r#rA_SymbolSequence.__str__s!4996667q99r'c:SSRSU55S3$)Nrrc38# UHn[U5v M g7fr)reprrs r#r+_SymbolSequence.__repr__..s7$3T#YY$rrrr+s r#rE_SymbolSequence.__repr__s!4997$778::r'r|N) rGrHrIrJrKr$rrrrArErNrOr'r#ryrys%$$,-:;r'rych\rSrSrSrSrS\S\4SjrS\ \SS4S jr S \ S\4S jr S \ S\ \4S jrSS \S\S\S\S\S\ \4 SjjrSrSr\S\4Sj5r\S\\ 4Sj5r\S\\ 4Sj5r\S\ 4Sj5r\S\4Sj5r\S\ 4Sj5r\S\4Sj5rSrg)ri a( Provides access to a model during a solve call and provides a `SolveContext` object to influence the running search. Notes ----- The string representation of a model object is similar to the output of models by clingo using the default output. `Model` objects cannot be constructed from Python. Instead they are obained during solving (see `Control.solve`). Furthermore, the lifetime of a model object is limited to the scope of the callback it was passed to or until the search for the next model is started. They must not be stored for later use. cXlgrrr s r#r$Model.__init__r&r'rcr(cb[S[RURUR5$)z Efficiently check if an atom is contained in the model. Parameters ---------- atom The atom to lookup. Returns ------- Whether the given atom is contained in the model. Notes ----- The atom must be represented using a function symbol. rM)r rclingo_model_containsr)r!rcs r#containsModel.containss#$vt99499diiPPr'symbolsNc [R"S[U55n[U5Hup4URX#'M [ [ R"URU[U555 g)z Extend a model with the given symbols. Parameters ---------- symbols The symbols to add to the model. Notes ----- This only has an effect if there is an underlying clingo application, which will print the added symbols. clingo_symbol_t[]N)r rXrYrZrrrclingo_model_extend)r!r c_symbolsrars r#extend Model.extend3sTHH0#g,? (FA88IL)d..tyy)S\RSr'r]cN[S[RURU5$)z Check if the given program literal is true. Parameters ---------- literal The given program literal. Returns ------- Whether the given program literal is true. rM)r rclingo_model_is_truer)r!r]s r#is_true Model.is_trueGsvt88$))WMMr'c[S[RURU5nU[R:XagU[R :Xagg)a Check if the given program literal is a consequence. The function returns `True`, `False`, or `None` if the literal is a consequence, not a consequence, or it is not yet known whether it is a consequence, respectively. While enumerating cautious or brave consequences, there is partial information about which literals are consequences. The current state of a literal can be requested using this function. If this function is used during normal model enumeration, the function just returns whether a literal is true of false in the current model. Parameters ---------- literal The given program literal. Returns ------- Whether the given program literal is a consequence. clingo_consequence_tTFN)r rclingo_model_is_consequencerclingo_consequence_trueclingo_consequence_false)r!r]ress r#is_consequenceModel.is_consequenceVsI. "D$D$DdiiQX  $.. . $// /r'r_termsshowntheory complementcSnU(aU[R-nU(aU[R-nU(aU[R-nU(aU[R-nU(aU[R -n[ S[RURU5n[R"SU5n[[R"URXhU55 [U5$)a Return the list of atoms, terms, or CSP assignments in the model. Parameters ---------- atoms Select all atoms in the model (independent of `#show` statements). terms Select all terms displayed with `#show` statements in the model. shown Select all atoms and terms as outputted by clingo. theory Select atoms added with `Model.extend`. complement Return the complement of the answer set w.r.t. to the atoms known to the grounder. Returns ------- The selected symbols. Notes ----- Atoms are represented using functions (`Symbol` objects), and CSP assignments are represented using functions with name `"$"` where the first argument is the name of the CSP variable and the second its value. rsize_tr)rclingo_show_type_atomsclingo_show_type_termsclingo_show_type_shownclingo_show_type_theoryclingo_show_type_complementr clingo_model_symbols_sizerr rXrclingo_model_symbolsry) r!r_rrrrshowsizer~s r#r Model.symbolsvsH  D// /D  D// /D  D// /D  D00 0D  D44 4Dx!?!?DQHH0$7 d// 4DQRy))r'c ZSR[[URSS955$)N T)r)rmaprrr+s r#rA Model.__str__s#xxCD!9:;;r'c$SUR<S3$)NzModel(rDrr+s r#rEModel.__repr__s }A&&r'cb[S[RUR5n[ U5$)z8 Object that allows for controlling the running search. zclingo_solve_control_t*)r rclingo_model_contextrr)r!ctls r#context Model.contexts( /1J1JDIIVC  r'c[S[RUR5n[R "SU5n[ [R"URX!55 [U5$)zl Return the list of integer cost values of the model. The return values correspond to clasp's cost output. rz int64_t[]) r rclingo_model_cost_sizerr rXrclingo_model_costlist)r!rp_costss r#cost Model.costsOx!r1sGRTSSCC)' N?+?+D?$?$D &;hv&;>f f RH./Hr'