cwi %SrSSKJr SSKJrJrJrJr SSKJ r J r J r J r J r Jr SSKJrJr /SQr"SS \5r\"S S 55r/S 4S \S\\S\S\4SjjrS\S\4SjrS\S\4SjrS\\S\4Sjr\ R8"S5r\ R8"S5r\ R>"\5 \ R@"\5 \"\S5r!\\"S'\"\S5r#\\"S'SS\S\\\\/S4S\S\4Sjjr$g)a Functions and classes for symbol manipulation. Examples -------- >>> from clingo.symbol import Function, Number, parse_term >>> >>> num = Number(42) >>> num.number 42 >>> fun = Function("f", [num]) >>> fun.name 'f' >>> [ str(arg) for arg in fun.arguments ] ['42'] >>> parse_term(str(fun)) == fun True >>> clingo.parse_term('p(1+2)') p(3) )total_ordering)CallableListOptionalSequence)_c_call_c_call2_ffi_lib_str_to_str) MessageCode OrderedEnum) FunctionInfimumNumberStringSupremumSymbol SymbolTypeTuple_ parse_termc\rSrSrSr\R r\Rr \Rr \Rr \RrSrg)r*z Enumeration of symbols types. N)__name__ __module__ __qualname____firstlineno____doc__r clingo_symbol_type_functionrclingo_symbol_type_infimumrclingo_symbol_type_numberrclingo_symbol_type_stringrclingo_symbol_type_supremumr__static_attributes__rG/home/james-whalen/.local/lib/python3.13/site-packages/clingo/symbol.pyrr*sa//H--G + +F + +F//Hr(rc <\rSrSrSrSrSrS\4SjrS\4Sjr S\ 4Sjr S \ S\ 4S jrS \ S\ 4S jrSS \S \ S\ S\ 4Sjjr\S\S4Sj5r\S\4Sj5r\S\ 4Sj5r\S\ 4Sj5r\S\ 4Sj5r\S\4Sj5r\S\4Sj5rSrg)rEab Represents a gringo symbol. This includes numbers, strings, functions (including constants with `len(arguments) == 0` and tuples with `len(name) == 0`), `#inf` and `#sup`. Symbol objects implement Python's rich comparison operators and are ordered like in gringo. They can also be used as keys in dictionaries. Their string representation corresponds to their gringo representation. Notes ----- Note that this class does not have a constructor. Instead there are the functions `Number`, `String`, `Tuple_`, and `Function` to construct symbol objects or the preconstructed symbols `Infimum` and `Supremum`. _repcXlgNr,)selfreps r)__init__Symbol.__init__Zs r(returnch[[R[RUR5$r/)r r clingo_symbol_to_string_sizeclingo_symbol_to_stringr-r0s r)__str__Symbol.__str__]s&  - -t/K/KTYY  r(cUR[R:XagUR[R:XagUR[R:XaSUR <S3$UR[R :XaSUR<S3$UR[R:XdeSUR<SUR<SUR<S3$)NrrzNumber()zString(z Function(z, ) typerrrrnumberrstringrname argumentspositiver8s r)__repr__Symbol.__repr__bs 99 ** * 99 ++ + 99 )) )T[[O1- - 99 )) )T[[O1- -yyJ/////499-r$..);2dmm=NaPPr(cB[R"UR5$r/)r clingo_symbol_hashr-r8s r)__hash__Symbol.__hash__ns&&tyy11r(otherc[U[5(d[$[R"UR UR 5$r/) isinstancerNotImplementedr clingo_symbol_is_equal_tor-r0rIs r)__eq__ Symbol.__eq__qs0%((! !--diiDDr(c[U[5(d[$[R"UR UR 5$r/)rKrrLr clingo_symbol_is_less_thanr-rNs r)__lt__ Symbol.__lt__vs0%((! !..tyy%**EEr(r@arityrBcUR[R:H=(aD URU:H=(a. URU:H=(a [ UR 5U:H$)a  Check if this is a function symbol with the given signature. Parameters ---------- name The name of the function. arity The arity of the function. positive Whether to match positive or negative signatures. Returns ------- Whether the function matches. )r=rrrBr@lenrA)r0r@rUrBs r)match Symbol.match{sU( II,, , - ) - T! -DNN#u,  r(c[SS[RUR5up[ U5Vs/sHn[ X5PM sn$s snf)z The arguments of a function. clingo_symbol_t*size_t)r r clingo_symbol_argumentsr-ranger)r0argssizeis r)rASymbol.argumentssG  $*F*F  */t5Atw555sAc^[[S[RUR55$)z The name of a function. char*)rr r clingo_symbol_namer-r8s r)r@ Symbol.names" ww(?(?KLLr(cL[S[RUR5$)z" The inverted sign of a function. bool)r r clingo_symbol_is_negativer-r8s r)negativeSymbol.negative vt==tyyIIr(cL[S[RUR5$)z The value of a number. int)r r clingo_symbol_numberr-r8s r)r> Symbol.numbers ud77CCr(cL[S[RUR5$)z The sign of a function. rh)r r clingo_symbol_is_positiver-r8s r)rBSymbol.positiverlr(c^[[S[RUR55$)z The value of a string. rd)rr r clingo_symbol_stringr-r8s r)r? Symbol.strings" ww(A(A499MNNr(cT[[R"UR55$)z The type of the symbol. )rr clingo_symbol_typer-r8s r)r= Symbol.types $11$))<==r(N)T)rrrr r! __slots__r2strr9rCrnrGobjectrhrOrSrXpropertyrrAr@rjr>rBr?rr=r'rr(r)rrEsV"I  Q# Q2#2EFEtE FFFtF  # c T T 464>66McMM J$JJ DDD J$JJ OOO >j>>r(rTr@rArBr4c [R"S[U55n[U5HupEURX4'M [ S[ RUR5U[U5U5n[U5$)a Construct a function symbol. This includes constants and tuples. Constants have an empty argument list and tuples have an empty name. Functions can represent classically negated atoms. Argument `positive` has to be set to false to represent such atoms. Parameters ---------- name The name of the function (empty for tuples). arguments The arguments in form of a list of symbols. positive The sign of the function (tuples must not have signs). zclingo_symbol_t[]clingo_symbol_t) r newrW enumerater-r r clingo_symbol_create_functionencoder)r@rArBc_argsraargsyms r)rrsm(XX)3y> :FI&HH '  **  I  C #;r(r>cv[R"S5n[R"X5 [ US5$)z` Construct a numeric symbol given a number. Parameters ---------- number The given number. r[r)r rr clingo_symbol_create_numberr)r>p_reps r)rrs0 HH' (E$$V3 %( r(r?cf[[S[RUR 555$)z_ Construct a string symbol given a string. Parameters ---------- string The given string. r)rr r clingo_symbol_create_stringr)r?s r)rrs* !4#C#CV]]_U r(c[SU5$)z A shortcut for `Function("", arguments)`. Parameters ---------- arguments The arguments in form of a list of symbols. See Also -------- Function )r)rAs r)rr s B ""r(r[rrNlogger message_limitc Ub'[R"U5n[RnO [Rn[Rn[ [ S[RUR5UUU55$)aD Parse the given string using gringo's term parser for ground terms. The function also evaluates arithmetic functions. Parameters ---------- string The string to be parsed. logger Function to intercept messages normally printed to standard error. message_limit Maximum number of messages passed to the logger. r) r new_handler pyclingo_logger_callbackNULLrr clingo_parse_termr)r?rrc_handlec_cbs r)rr$sh&??6*,,99yy    " " MMO       r()N)%r! functoolsrtypingrrrr _internalr r r r r rcorerr__all__rrr{rhrrnrrrr _p_infimum _p_supremumclingo_symbol_create_infimumclingo_symbol_create_supremumr__annotations__rrrr(r)rsf,%55CC* 6A>A>A>J.0$ "6*;? D 3 6  3 6 #hv&#6#"XX( ) hh)* !!*-"";/A''+a.)&) <@# # X{C0$67 8## #r(