cwiy3SrSSKJrJrJrJrJrJr SSKJ r J r J r SSK J r SSKJr SSKJr SSKJr SS KJr SS KJr S /r\\\\4r"S S 5r"SS 5rg)a This module defines the `Theory` class for using a [CFFI] based module with clingo's Python package. [CFFI]: https://cffi.readthedocs.io/en/latest/ Example ------- ```python >>> from clingo import Control >>> from clingo.ast import parse_string, ProgramBuilder >>> from clingo.theory import Theory >>> from clingcon._clingcon import lib, ffi >>> >>> prg = '&sum { x } >= 1. &sum { x } <= 3.' >>> >>> thy = Theory('clingcon', lib, ffi) >>> ctl = Control(['0']) >>> thy.register(ctl) >>> with ProgramBuilder(ctl) as bld: ... parse_string(prg, lambda ast: thy.rewrite_ast(ast, bld.add)) ... >>> ctl.ground([('base', [])]) >>> thy.prepare(ctl) >>> with ctl.solve(yield_=True, on_model=thy.on_model) as hnd: ... for mdl in hnd: ... print([f'{key}={val}' for key, val in thy.assignment(mdl.thread_id)]) ... ['x=1'] ['x=2'] ['x=3'] ``` Notes ----- The CFFI module must provide the following functions and data structures, where `PREFIX` corresponds to the prefix string passed to the `Theory` constructor: ```c enum PREFIX_value_type { PREFIX_value_type_int = 0, PREFIX_value_type_double = 1, PREFIX_value_type_symbol = 2 }; typedef int PREFIX_value_type_t; typedef struct PREFIX_value { PREFIX_value_type_t type; union { int int_number; double double_number; clingo_symbol_t symbol; }; } PREFIX_value_t; typedef bool (*PREFIX_ast_callback_t)(clingo_ast_t *ast, void *data); bool PREFIX_create(PREFIX_theory_t **theory) bool PREFIX_destroy(PREFIX_theory_t *theory) bool PREFIX_version(PREFIX_theory_t **theory, int *major, int *minor, int *patch); bool PREFIX_register(PREFIX_theory_t *theory, clingo_control_t* control) bool PREFIX_rewrite_ast(PREFIX_theory_t *theory, clingo_ast_t *ast, PREFIX_ast_callback_t add, void *data); bool PREFIX_prepare(PREFIX_theory_t *theory, clingo_control_t* control) bool PREFIX_register_options(PREFIX_theory_t *theory, clingo_options_t* options) bool PREFIX_validate_options(PREFIX_theory_t *theory) bool PREFIX_on_model(PREFIX_theory_t *theory, clingo_model_t* model) bool PREFIX_on_statistics(PREFIX_theory_t *theory, clingo_statistics_t* step, clingo_statistics_t* accu) bool PREFIX_lookup_symbol(PREFIX_theory_t *theory, clingo_symbol_t symbol, size_t *index) clingo_symbol_t PREFIX_get_symbol(PREFIX_theory_t *theory, size_t index) void PREFIX_assignment_begin(PREFIX_theory_t *theory, uint32_t thread_id, size_t *index) bool PREFIX_assignment_next(PREFIX_theory_t *theory, uint32_t thread_id, size_t *index) bool PREFIX_assignment_has_value(PREFIX_theory_t *theory, uint32_t thread_id, size_t index) void PREFIX_assignment_get_value(PREFIX_theory_t *theory, uint32_t thread_id, size_t index, PREFIX_value_t *value) bool PREFIX_configure(PREFIX_theory_t *theory, char const *key, char const *value) ``` )AnyCallableIteratorOptionalTupleUnion)_ffi _handle_error_lib)ApplicationOptions)AST)Control)Model) StatisticsMap)SymbolTheoryc\rSrSrSrSrSrg)_CBData\z The class stores the data object that should be passed to a callback as well as provides the means to set an error while a callback is running. cXlSUlgNdataerror)selfrs G/home/james-whalen/.local/lib/python3.13/site-packages/clingo/theory.py__init___CBData.__init__bs  rN)__name__ __module__ __qualname____firstlineno____doc__r__static_attributes__r rrr\s  r rc\rSrSrSrS\S\S\4SjrS,SjrS,Sjr S \ 4S jr S r S r S rSrSrS \\\\44SjrS\S\S S4SjrS\S S4SjrS\S S4SjrS\S\\/S4S S4SjrS\S S4SjrS-SjrS\S S4SjrS \ S!\ S S4S"jr!S#\"S \#\4S$jr$S%\S \"4S&jr%S'\S%\S \ 4S(jr&S'\S%\S \'4S)jr(S'\S \)\\"\'44S*jr*S+r+g).rgz Interface to call functions from a C-library extending clingo's C/Python library. The functions in here are designed to be used with a `Application` object but can also be used with a standalone `Control` object. prefixlibfficXlX lX0lURUR S5S5UlUR 5Ulg)a  Loads a given library. Arguments --------- prefix Prefix of functions and data structures in the library. lib [A CFFI lib object](https://cffi.readthedocs.io/en/latest/using.html). ffi [A CFFI ffi object](https://cffi.readthedocs.io/en/latest/ref.html). z theory_t*createN)_prer r _Theory__call1 _Theory__pre_theory_Theory__define_rewrite_rewrite)rr*r+r,s rrTheory.__init__rs>   ||DJJ{$;XF --/ r c(UURSU3$)N_)r/rnameextras r__pre Theory.__pres 1TF++r cL[URURX55$r)getattrr r1r8s r__get Theory.__getstyy$**T"9::r returnc`UbxURRURRS5nXU4Ul[ R "[ R[U5R55 g[ R "[ RSR55 g)Nrzerror in callbackF) r from_handletb_framef_localsrr clingo_set_errorclingo_error_unknownstrencodeclingo_error_runtime)r exception exc_value tracebackcb_datas r__error_handlerTheory.__error_handlers  ii++I,>,>,G,G,OPG&9=GM  ! !$";";S^=R=R=T U   ! !))+>+E+E+G r c^TRRTRSS5TRS9U4Sj5nU$)Nrewritepy)r9onerrorc>TRRU5Rn[R"SU5n[R "U5 U"[ U55 g)N clingo_ast_t*T)r rCrcastr clingo_ast_acquirer)astraddrs rrR(Theory.__define_rewrite..rewritesK))''-22C))OS1C  # #C ( CMr )r def_externr1_Theory__error_handler)rrRs` r__define_rewriteTheory.__define_rewritesF   It,d6J6J     r c*URU5"U6$)z@ Helper to simplify calling C functions without error handling. ) _Theory__getrc_funargss r__call Theory.__callszz% $''r c<[UR"U/UQ765 g)z@ Helper to simplify calling C functions without a return value. N)r _Theory__callrbs r__call0Theory.__call0s dkk%/$/0r c[U[5(aURRUS35nOUn[ UR "U/UQUP765 US$)ze Helper to simplify calling C functions where the last parameter is a reference to the return value. *r) isinstancerHr newr rh)rc_typercrdp_rets r__call1Theory.__call1sR fc " "IIMMVHA,/EEdkk%6$667Qxr cfURb$URSUR5 SUlgg)Ndestroy)r2_Theory__call0rs r__del__Theory.__del__s* << # LLDLL 1DL $r cURRS5nURSXS-US-5 USUSUS4$)z This function returns the version of the theory. Returns ------- A 3-tuple of integers representing major and minor version as well as the patch level. zint[3]versionr r)r rnrh)r p_versions rrzTheory.versionsGIIMM(+  Iya-QG|Yq\9Q<77r keyvalueNcxURSURUR5UR55 g)z Allows for configuring a theory via key/value pairs similar to command line options. This function must be called before the theory is registered. Arguments --------- key The name of the option. value The value of the option. configureN)rur2rI)rr~rs rrTheory.configures& [$,, ellnMr controlcURSURURRSUR55 g)zn Register the theory with the given control object. Arguments --------- control Target to register with. registerclingo_control_t*Nrur2r rW_reprrs rrTheory.registers/  diinn5H',,&W r cURSURURRSUR55 g)z Prepare the theory. Must be called between ground and solve. Arguments --------- control The associated control object. preparerNrrs rrTheory.prepares/ t||TYY^^4G%V r stmrZc [U5nURRU5nURSURURR SUR 5URSS5U5 g)z Rewrite the given statement and call add on the rewritten version(s). Must be called for some theories that have to perform rewritings on the AST. Arguments --------- stm Statement to translate. add Callback for adding translated statements. rewrite_astrVrRrSN)rr new_handlerur2rWrra)rrrZrNhandles rrTheory.rewrite_asts^#,%%g.  LL IINN?CHH 5 JJy$ '   r optionscURSURURRSUR55 g)z Register the theory's options with the given application options object. Arguments --------- options Target to register with. register_optionszclingo_options_t*Nr)rrs rrTheory.register_optionss1  LL IINN. = r c<URSUR5 g)z% Validate the options of the theory. validate_optionsN)rur2rvs rrTheory.validate_options"s '6r modelcURSURURRSUR55 g)zb Inform the theory that a model has been found. Arguments --------- model The current model. on_modelzclingo_model_t*Nr)rrs rrTheory.on_model(s/  diinn5F &S r stepaccuc URSURURRSUR5URRSUR55 g)z Add the theory's statistics to the given maps. Arguments --------- step: StatisticsMap Map for per step statistics. accu: StatisticsMap Map for accumulated statistics. on_statisticszclingo_statistics_t*Nr)rrrs rrTheory.on_statistics5sH  LL IINN1499 = IINN1499 =  r symbolcURRS5nURSURURU5(aUS$g)z Get the integer index of a symbol assigned by the theory when a model is found. Using indices allows for efficent retrieval of values. Arguments --------- symbol The symbol to look up. Returns ------- The index of the value if found. size_t* lookup_symbolrN)r rnrhr2r)rrc_indexs rrTheory.lookup_symbolGs@ ))-- * ;; fkk7 K K1: r indexc x[[R"SURSURU555$)z Get the symbol associated with an index. The index must be valid. Arguments --------- index Index to retreive. Returns ------- The associated symbol. clingo_symbol_t get_symbol)rr rWrhr2)rrs rrTheory.get_symbol\s2 II'\4< 4 2 (: t 7  e     - }  $Fx}*   &S3SsStS".3.s.y.2WCWHU69;L5M,NWr N)r%typingrrrrrr _internalr r r applicationr rYrrrsolvingr statisticsrrr__all__rfloatrrrr'r rrs]JXCB00+% * #uf$ % CWCWr