cwi)SrSSKJr SSKJrJrJr SSKJrJ r J r J r J r SSK Jr /SQr"SS \5r\"S S 55r\"S S 55r\"SS55rg)a Functions and classes to work with theory atoms. Examples -------- >>> from clingo.control import Control >>> >>> ctl = Control() >>> ctl.add('base', [], """\ ... #theory example { ... t { }; ... &a/0 : t, head ... }. ... {c}. ... &a { t: c }. ... """) >>> ctl.ground([('base', [])]) >>> atm = next(ctl.theory_atoms) >>> print(atm) &a{t: c} >>> elm = atm.elements[0] >>> print(elm) t: c )total_ordering)ListOptionalTuple)_c_call_c_call2_lib_str_to_str) OrderedEnum) TheoryAtom TheoryElement TheoryTermTheoryTermTypec\rSrSrSr\R r\Rr \Rr \Rr \Rr\R rSrg)r#z# Enumeration of theory term types. N)__name__ __module__ __qualname____firstlineno____doc__r clingo_theory_term_type_functionFunctionclingo_theory_term_type_listrclingo_theory_term_type_numberNumberclingo_theory_term_type_setSetclingo_theory_term_type_symbolSymbolclingo_theory_term_type_tupler__static_attributes__rM/home/james-whalen/.local/lib/python3.13/site-packages/clingo/theory_atoms.pyrr#ss44H  , ,D 0 0F  * *C 0 0F  . .Er%rc\rSrSrSrSrSrSrSrSr Sr \ S \ S4S j5r \ S \4S j5r\ S \4S j5r\ S \4S j5rSrg)rBz `TheoryTerm` objects represent theory terms. Theory terms have a readable string representation, implement Python's rich comparison operators, and can be used as dictionary keys. cXlX lgN_rep_idxselfrepidxs r&__init__TheoryTerm.__init__K   r%cUR$r*r-r/s r&__hash__TheoryTerm.__hash__O yyr%c4URUR:H$r*r6r/others r&__eq__TheoryTerm.__eq__RyyEJJ&&r%c4URUR:$r*r6r<s r&__lt__TheoryTerm.__lt__Uyy5::%%r%c~[[R[RURUR 5$r*)r r 'clingo_theory_atoms_term_to_string_size"clingo_theory_atoms_term_to_stringr,r-r7s r&__str__TheoryTerm.__str__X/  8 8  3 3 II II   r%c$SUR<S3$)Nz TheoryTerm()r,r7s r&__repr__TheoryTerm.__repr__`TYYM++r%returnc[SS[RURUR5up[ U5Vs/sHn[ URX5PM sn$s snf)zD The arguments of the term (for functions, tuples, list, and sets). clingo_id_t*size_t)r r "clingo_theory_atoms_term_argumentsr,r-ranger)r/argssizeis r& argumentsTheoryTerm.argumentscsX     3 3 II II  9>d D 1 499dg. DDD"A&ct[[S[RURUR 55$)z3 The name of the term (for symbols and functions). char*)r rr clingo_theory_atoms_term_namer,r-r7s r&nameTheoryTerm.nameqs-  GT??DII V  r%cb[S[RURUR5$)z7 The numeric representation of the term (for numbers). int)rr clingo_theory_atoms_term_numberr,r-r7s r&numberTheoryTerm.numberzs(  477DII  r%cx[S[RURUR5n[ U5$)z The type of the theory term. clingo_theory_term_type_t)rr clingo_theory_atoms_term_typer,r-r)r/type_s r&typeTheoryTerm.types5  '  . . II II   e$$r%r-r,N)rrrrrr2r8r>rBrHrNpropertyrrZstrr`rcrerrkr$rr%r&rrBs'& , E4 - E E c      %n % %r%rc\rSrSrSrSrSrSrSrSr Sr \ S \ \ 4S j5r\ S \ 4S j5r\ S \ \4S j5rS rg)rz Class to represent theory elements. Theory elements have a readable string representation, implement Python's rich comparison operators, and can be used as dictionary keys. cXlX lgr*r+r.s r&r2TheoryElement.__init__r4r%cUR$r*r6r7s r&r8TheoryElement.__hash__r:r%c4URUR:H$r*r6r<s r&r>TheoryElement.__eq__r@r%c4URUR:$r*r6r<s r&rBTheoryElement.__lt__rDr%c~[[R[RURUR 5$r*)r r *clingo_theory_atoms_element_to_string_size%clingo_theory_atoms_element_to_stringr,r-r7s r&rHTheoryElement.__str__s/  ; ;  6 6 II II   r%c$SUR<S3$)NzTheoryElement(rLrMr7s r&rNTheoryElement.__repr__s }A..r%rQc[SS[RURUR5up[ U5Vs/sHo1UPM sn$s snf)zE The condition of the element in form of a list of program literals. zclingo_literal_t*rT)r r %clingo_theory_atoms_element_conditionr,r-rV)r/condrXrYs r& conditionTheoryElement.conditionsM     6 6 II II  "'t-AQ---sAcb[S[RURUR5$)z Each condition has an id, which is a temporary program literal. This id can be passed to `clingo.propagator.PropagateInit.solver_literal` to obtain a corresponding solver literal. clingo_literal_t)rr (clingo_theory_atoms_element_condition_idr,r-r7s r& condition_idTheoryElement.condition_ids+   9 9 II II   r%c[SS[RURUR5up[ U5Vs/sHn[ URX5PM sn$s snf)z The tuple of the element. rSrT)r r !clingo_theory_atoms_element_tupler,r-rVr)r/termsrXrYs r&rTheoryElement.termssX     2 2 II II  :?tEA 499eh/EEEr\rmN)rrrrrr2r8r>rBrHrNrnrrcrrrrr$rr%r&rrs'& / .49 . .  c     FtJ' F Fr%rc\rSrSrSrSrSrSrSrSr Sr \ S \ \ 4S j5r\ S \\\\44S j5r\ S \4S j5r\ S \4S j5rSrg)rz Class to represent theory atoms. Theory atoms have a readable string representation, implement Python's rich comparison operators, and can be used as dictionary keys. cXlX lgr*r+r.s r&r2TheoryAtom.__init__r4r%cUR$r*r6r7s r&r8TheoryAtom.__hash__r:r%c4URUR:H$r*r6r<s r&r>TheoryAtom.__eq__r@r%c4URUR:$r*r6r<s r&rBTheoryAtom.__lt__rDr%c~[[R[RURUR 5$r*)r r 'clingo_theory_atoms_atom_to_string_size"clingo_theory_atoms_atom_to_stringr,r-r7s r&rHTheoryAtom.__str__rJr%c$SUR<S3$)Nz TheoryAtom(rLrMr7s r&rNTheoryAtom.__repr__rPr%rQc[SS[RURUR5up[ U5Vs/sHn[ URX5PM sn$s snf)z The elements of the atom. rSrT)r r !clingo_theory_atoms_atom_elementsr,r-rVr)r/elemsrXrYs r&elementsTheoryAtom.elementssY     2 2 II II  =B$KHKq dii2KHHHr\c[S[RURUR5(dg[ SS[R URUR5up[U5[URU54$)z9 The guard of the atom or None if the atom has no guard. boolNr^ clingo_id_t) rr "clingo_theory_atoms_atom_has_guardr,r-r clingo_theory_atoms_atom_guardr r)r/connterms r&guardTheoryAtom.guard sr  D;;TYY       / / II II   z$))T:;;r%cb[S[RURUR5$)z/ The program literal associated with the atom. r)rr clingo_theory_atoms_atom_literalr,r-r7s r&literalTheoryAtom.literal s+    1 1 II II   r%c[S[RURUR5n[ URU5$)z The term of the atom. r)rr clingo_theory_atoms_atom_termr,r-r)r/rs r&rTheoryAtom.term,s8  4==tyy$)) $))T**r%rmN)rrrrrr2r8r>rBrHrNrnrrrrrrorrrcrrr$rr%r&rrs'& , I$}- I Irs2%((== I[>K%K%K%\HFHFHFVV+V+V+r%