cwi.SrSSKrSSKJr SSKJrJrJrJrJ r SSK J r J r J r JrJrJrJr SSKJr SSKJr SS KJr /S Qr"S S 5r"S S\S9r\ R6"\ SS9S5r"SS\S9rS)S\S\\ \S\4Sjjr \ R6"\ SS9S5r!\ R6"\ SS9S5r"\ R6"\ SS9S5r#\ R6"\ SS9S 5r$\ R6"\ S!S9S"5r%\ R6"\ S#S9S$5r&\ R6"\ S%S9S&5r'\ R6"\ S'S9S(5r(g)*aW Functions and classes to implement applications based on clingo. Examples -------- The following example reproduces the default clingo application: import sys from clingo.application import Application, clingo_main class ClingoApp(Application): def __init__(self, name): self.program_name = name def main(self, ctl, files): for f in files: ctl.load(f) if not files: ctl.load("-") ctl.ground([("base", [])]) ctl.solve() clingo_main(ClingoApp(sys.argv[0]), sys.argv[1:]) N)ABCMeta)AnyCallableListOptionalSequence)_cb_error_panic_cb_error_print_ffi _handle_error_lib _overwritten_to_str)Control) MessageCode)Model) ApplicationApplicationOptionsFlag clingo_mainct\rSrSrSrS S\4SjjrSr\S\4Sj5r \ RS\4Sj5r S r g ) r.zl Helper object to parse command-line flags. Parameters ---------- value The initial value of the flag. valuec<[R"SU5Ulg)Nzbool*)r new_flagselfrs L/home/james-whalen/.local/lib/python3.13/site-packages/clingo/application.py__init__ Flag.__init__8sXXgu- cUR$N)flagrs r __bool__ Flag.__bool__;s yyr#returnc URS$)z The value of the flag. rrr's r r& Flag.flag>s zz!}r#c XRS'gNrr,rs r r&r-Es  1 r#r,N)F) __name__ __module__ __qualname____firstlineno____doc__boolr!r(propertyr&setter__static_attributes__r#r rr.sR.d.d  [[$r#rc|\rSrSrSrSrSS\S\S\S\\/\4S \S \ \S S4S jjr S\S\S\S \ S S4 Sjr Sr g)rJz= Object to add custom options to a clingo based application. cXlX lgr%)_rep_mem)rrepmems r r!ApplicationOptions.__init__Os   r#Ngroupoption descriptionparsermultiargumentr*c x[R"U5nURRU5 [ [ R "URUR5UR5UR5[ RUUUbUR5O[R55 g)a Add an option that is processed with a custom parser. Parameters ---------- group Options are grouped into sections as given by this string. option Parameter option specifies the name(s) of the option. For example, `"ping,p"` adds the short option `-p` and its long form `--ping`. It is also possible to associate an option with a help level by adding `",@l"` to the option specification. Options with a level greater than zero are only shown if the argument to help is greater or equal to `l`. description The description of the option shown in the help output. parser An option parser is a function that takes a string as input and returns true or false depending on whether the option was parsed successively. multi Whether the option can appear multiple times on the command-line. argument Optional string to change the value name in the generated help. Notes ----- The parser callback has to take care of storing the semantic value of the option somewhere. N) r new_handler>appendr rclingo_options_addr=encode"pyclingo_application_options_parseNULL)rrBrCrDrErFrGc_datas r addApplicationOptions.addSsL(    # #   ""$77%-%9!tyy  r#targetc URRU5 [[R"UR UR 5UR 5UR 5UR55 g)a Add an option that is a simple flag. This function is similar to `ApplicationOptions.add` but simpler because it only supports flags, which do not have values. Note that the target parameter must be of type Flag, which is set to true if the flag is passed on the command line. Parameters ---------- group Options are grouped into sections as given by this string. option Same as for `ApplicationOptions.add`. description The description of the option shown in the help output. target The object that receives the value. N)r>rJr rclingo_options_add_flagr=rLr)rrBrCrDrRs r add_flagApplicationOptions.add_flagsX*    ( (   ""$   r#)r>r=)FN)r0r1r2r3r4r!strrr5rrPrrUr8r9r#r rrJs"&4 4 4  4 #% 4  4 3-4  4 l c 3 S $ SW r#r) metaclassrM)onerrornamecL[R"U5"[U55$r%)r from_handler)rdatas r #_pyclingo_application_options_parser^s   D !'%. 11r#c\rSrSr%Sr\\S'\\S'\\S'S\S\ \SS 4S jr S \ SS 4S jr S\ 4S jrS\S\/S 4SS 4SjrS\S\SS 4SjrSrg )rz; Interface that has to be implemented to customize clingo. program_nameversion message_limitcontrolfilesr*Ncg)z Function to replace clingo's default main function. If this function is not implemented, clingo's default is used. Parameters ---------- control The main control object. files The files passed to clingo_main. Nr9)rrdres r mainApplication.mainr#optionscg)zo Function to register custom options. Parameters ---------- options Object to register additional options Nr9)rrjs r register_optionsApplication.register_optionsrir#cg)zu Function to validate custom options. Returns ------- This function should return false if option validation fails. Nr9r's r validate_optionsApplication.validate_optionsrir#modelprintercg)a  Function to print additional information when the text output is used. To avoid entangled output, `sys.stdout.flush` is automatically called after this function. Parameters ---------- model The current model printer The default printer as used in clingo. Nr9)rrqrrs r print_modelApplication.print_modelrir#codemessagecg)a Function to intercept messages normally printed to standard error. By default, messages are printed to standard error. Parameters ---------- code The message code. message The message string. Notes ----- This function should not raise exceptions. Nr9)rrvrws r loggerApplication.loggerrir#r9)r0r1r2r3r4rW__annotations__intrrrgrrlr5rorrrtrryr8r9r#r rrsL  G  HSM  d   (: t  $     "d(1C     ;   r#r application argumentsr*cUc[RSSn[R"S[ [ US5(a[ RO[R[ [ US5(a[ RO[R[ [ US5(a[ RO[R[ [ US5(a[ RO[R[ [ US5(a[ RO[R[ [ US 5(a[ RO[R[ [ US 5(a[ RO[R[ [ US 5(a[ RO[R45n/n[R "X45n[ R""UUVs/sH(n[R"S UR%55PM* sn['U5U5$s snf) a/ Runs the given application using clingo's default output and signal handling. The application can overwrite clingo's default behaviour by registering additional options and overriding its default main function. Parameters ---------- application The application object. arguments The command line arguments excluding the program name. If omitted, then `sys.argv[1:]` is used. Returns ------- The exit code of the application. Notes ----- The main function of the `Application` interface has to be implemented. All other members are optional. Nr zclingo_application_t*rarbrcrgryrtrlrochar[])sysargvr rrrr!pyclingo_application_program_namerNpyclingo_application_version"pyclingo_application_message_limitpyclingo_application_mainpyclingo_application_logger pyclingo_application_print_model%pyclingo_application_register_options%pyclingo_application_validate_optionsrIrrLlen)r}r~ c_applicationr@rOargs r rrs6HHQRL HH [.II66YY [)DD11YY [/JJ77YY [&AA..YY [(CC00YY [-HH55YY [:LMM::YY [:LMM::YYO) ,M\C __k/ 0F   5>?Yc(CJJL )Y? I  ?s/I rc[R"U5upUR[R"SURR 555 US$Nr)r r\rJrrarLr]appr@s r "_pyclingo_application_program_namer\sC%HCJJtxx#"2"2"9"9";<= r7Nr#rc[R"U5upUR[R"SURR 555 US$r)r r\rJrrbrLrs r _pyclingo_application_versionrcsA%HCJJtxx#++"4"4"678 r7Nr#rcL[R"U5SnUR$r/)r r\rcr]rs r #_pyclingo_application_message_limitrjs#   4  #C   r#rc|[R"U5SnUR[U5[ U55$r/)r r\ryrr)rvrwr]rs r _pyclingo_application_loggerrps2   4  #C ::k$')9 ::r#rc [R"U5SnUR[U5[ U5Vs/sHn[ X5PM sn5 gs snf)NrT)r r\rgrranger)rdresizer]ris r _pyclingo_application_mainrvsM   4  #CHHWW 5;G;a 1;GH  HsA rc^^UU4Sjn[R"U5SnUR[U5U5 [R R 5 g)Nc(>[T"T55 gr%)r )rr printer_datasr py_printer5_pyclingo_application_print_model..py_printersgl+,r#rT)r r\rtrrstdoutflush)rqrrrr]rrs `` r !_pyclingo_application_print_modelr}sD-   4  #COOE%L*-JJ r#rch[R"U5up#UR[X55 g)NT)r r\rlr)rjr]rr@s r &_pyclingo_application_register_optionsrs+%HC+G9: r#rcT[R"U5SnUR5$r/)r r\rors r &_pyclingo_application_validate_optionsrs&   4  #C    !!r#r%))r4rabcrtypingrrrrr _internalr r r r rrrrdrcorersolvingr__all__rr def_externr^rrWr|rrrrrrrrrr9r#r rs2 :: F8] 7] @/ST2U2R GR lDHUU)1(3-)@UUp/RST /MNO /STU /LM;N; /JKL /QRS/VWX /VW"X"r#