cwi  SrSSKJr SSKJr SSKJr SSKJrJ r J r J r J r J r JrJrJrJrJr SSKJrJrJrJrJrJrJrJrJr SSKJr SS KJ r J!r! SS K"J#r# SS K$J%r%J&r& /S Qr'"S S\!5r("SS\5r)"SS\5r*"SS\5r+"SS\5r,"SS\5r-"SS\5r."SS\5r/"SS\5r0"SS \5r1"S!S"\R5r2"S#S$\R5r3"S%S&\5r4"S'S(\5r5S)\54S*jr6S+r7\8"\RrRt5Vs0sH#n\"\RrRvU5U_M% snr<\\=\>\#\5S,S-\3\24r?\\=\>\#\5S,S-\\=\S-4r@\"S.S-55rA\R"\"S/5S0S19S25rCSS3\\=S4\ \A/S,4S5\\S6\\ S7\>S8S,4 S9jjrDSS:\=S4\ \A/S,4S5\\S6\\ S7\>S8S,4 S;jjrE"S<S=\ S=5rF"S>S?5rGS@\5SA\=S8\A4SBjrHS@\5SA\=S8\A4SCjrIS@\5SD\#S8\A4SEjrJS@\5SF\>SG\AS8\A4SHjrKS@\5SF\>SI\ASJ\AS8\A4 SKjrLS@\5SI\ASJ\AS8\A4SLjrMS@\5SA\=SM\\ASN\>S8\A4 SOjrNS@\5SM\\AS8\A4SPjrOSQ\>S8\A4SRjrPSD\AS8\A4SSjrQST\ASU\\AS8\A4SVjrRSW\>ST\AS8\A4SXjrSS@\5SY\ASZ\\AS8\A4S[jrTS@\5S\\\AS]\\AS^\\AS8\A4 S_jrUS`\\ASZ\\AS8\A4SajrVS@\5S\\\ASb\>S]\\AS^\\AS8\A4 ScjrWS`\\ASZ\AS8\A4SdjrXS@\5S\\\ASb\>S]\\AS^\\AS8\A4 SejrYS@\5S]\\AS8\A4SfjrZS@\5Sg\>S`\\AS8\A4Shjr[S@\5SA\=SM\\AS8\A4Sijr\Sj\\=ST\AS8\A4Skjr]S@\5S]\\AS8\A4Sljr^Sm\=ST\AS8\A4Snjr_S`\\ASZ\\AS8\A4Sojr`S@\5ST\AS]\\ASp\\AS8\A4 SqjraS@\5Sr\>Ss\AS8\A4StjrbS@\5SA\=Su\>SF\>S8\A4 SvjrcS@\5SA\=Sj\\AS8\A4SwjrdSj\\=ST\=S8\A4SxjreS@\5Sy\>SA\=Sz\>ST\=Sp\\AS8\A4S{jrfS@\5S|\AS}\\AS8\A4S~jrgS@\5SA\=SQ\AS\>S8\A4 SjrhS@\5SA\=Sz\>S\>S8\A4 SjriS@\5ST\AS}\\AS8\A4SjrjS@\5S\ASu\AS`\\AS}\\AS8\A4 SjrkS@\5SA\=S\=S8\A4SjrlS@\5SA\=S\\AS8\A4SjrmS@\5Ss\AS}\\AS\AS8\A4 SjrnS@\5S\AS\AS}\\AS8\A4 SjroS@\5Ss\AS}\\AS\ASu\AS\AS8\A4SjrpS@\5Ss\AS}\\AS8\A4SjrqS@\5SA\=Sz\>S\>S8\A4 SjrrS@\5SA\=Sz\>S\>S8\A4 SjrsS@\5SA\=S`\\AS\\AS8\A4 SjrtS@\5SQ\=S\>S8\A4Sjrug,s snf)a% Module to work with clingo's non-ground program representation. Grammar ------- The grammar below defines valid ASTs. For each upper case identifier there is a matching function in the module. Arguments follow in parenthesis: each having a type given on the right-hand side of the colon. The symbols `?`, `*`, and `+` are used to denote optional arguments (`None` encodes abscence), list arguments, and non-empty list arguments. ``` # Terms term = SymbolicTerm ( location : Location , symbol : clingo.Symbol ) | Variable ( location : Location , name : str ) | UnaryOperation ( location : Location , operator_type : UnaryOperator , argument : term ) | BinaryOperation ( location : Location , operator_type : BinaryOperator , left : term , right : term ) | Interval ( location : Location , left : term , right : term ) | Function ( location : Location , name : str , arguments : term* , external : bool ) | Pool ( location : Location , arguments : term* ) theory_term = SymbolicTerm ( location : Location , symbol : clingo.Symbol ) | Variable ( location : Location , name : str ) | TheorySequence ( location : Location , sequence_type : TheorySequenceType , terms : theory_term* ) | TheoryFunction ( location : Location , name : str , arguments : theory_term* ) | TheoryUnparsedTerm ( location : Location , elements : TheoryUnparsedTermElement ( operators : str* , term : theory_term )+ ) # Literals symbolic_atom = SymbolicAtom ( symbol : term ) guard = Guard ( comparison : ComparisonOperator , term : term ) literal = Literal ( location : Location , sign : Sign , atom : Comparison ( term : term , guards : guard+ ) | BooleanConstant ( value : bool ) | symbolic_atom ) # Head and Body Literals conditional_literal = ConditionalLiteral ( location : Location , literal : Literal , condition : Literal* ) aggregate = Aggregate ( location : Location , left_guard : guard? , elements : conditional_literal* , right_guard : guard? ) theory_atom = TheoryAtom ( location : Location , term : term , elements : TheoryAtomElement ( terms : theory_term* , condition : literal* )* , guard : TheoryGuard ( operator_name : str , term : theory_term )? ) body_atom = aggregate | BodyAggregate ( location : Location , left_guard : guard? , function : AggregateFunction , elements : BodyAggregateElement ( terms : term* , condition : literal* )* , right_guard : guard? ) | theory_atom body_literal = literal | conditional_literal | Literal ( location : Location , sign : Sign , atom : body_atom ) head = literal | aggregate | HeadAggregate ( location : Location , left_guard : guard? , function : AggregateFunction , elements : HeadAggregateElement ( terms : term* , condition : conditional_literal )* , right_guard : guard? ) | Disjunction ( location : Location , elements : conditional_literal* ) | theory_atom # Statements statement = Rule ( location : Location , head : head , body : body_literal* ) | Definition ( location : Location , name : str , value : term , is_default : bool ) | ShowSignature ( location : Location , name : str , arity : int , sign : bool ) | Defined ( location : Location , name : str , arity : int , sign : bool ) | ShowTerm ( location : Location , term : term , body : body_literal* ) | Minimize ( location : Location , weight : term , priority : term , terms : term* , body : body_literal* ) | Script ( location : Location , name : str , code : str ) | Program ( location : Location , name : str , parameters : Id ( location : Location , id : str )* ) | External ( location : Location , atom : symbolic_atom , body : body_literal* , type : term ) | Edge ( location : Location , u : term , v : term , body : body_literal* ) | Heuristic ( location : Location , atom : symbolic_atom , body : body_literal* , bias : term , priority : term , modifier : term ) | ProjectAtom ( location : Location , atom : symbolic_atom , body : body_literal* ) | ProjectSignature ( location : Location , name : str , arity : int , sign : bool ) | TheoryDefinition ( location : Location , name : str , terms : TheoryTermDefinition ( location : Location , name : str , operators : TheoryOperatorDefinition ( location : Location , name : str , priority : int , operator_type : TheoryOperatorType )* )* , atoms : TheoryAtomDefinition ( location : Location , atom_type : TheoryAtomType , name : str , arity : int , term : str , guard : TheoryGuardDefinition ( operators : str* , term : str )? )* ) | Comment ( location : Location , value : str , comment_type : CommentType ) ``` Examples -------- The following example parses a program from a string and passes the resulting `AST` to the builder: >>> from clingo import Control, ast >>> from clingo.ast import Location, ProgramBuilder, Position, parse_string >>> >>> ctl = Control() >>> >>> with ProgramBuilder(ctl) as bld: ... # parse from string ... parse_string('a.', bld.add) ... # build rule manually ... pos = Position('', 1, 1) ... loc = Location(pos, pos) ... fun = ast.Function(loc, 'b', [], False) ... atm = ast.SymbolicAtom(fun) ... lit = ast.Literal(loc, ast.Sign.NoSign, atm) ... bld.add(ast.Rule(loc, lit, [])) ... >>> ctl.ground([('base', [])]) >>> print(ctl.solve(on_model=print)) a b SAT The next example shows how to transform ASTs using the `Transformer` class: >>> from clingo.ast import Transformer, Variable, parse_string >>> >>> class VariableRenamer(Transformer): ... def visit_Variable(self, node): ... return node.update(name='_' + node.name) ... >>> vrt = VariableRenamer() >>> parse_string('p(X) :- q(X).', lambda stm: print(str(vrt(stm)))) #program base. p(_X) :- q(_X). )abc)IntEnum)total_ordering) AnyCallableContextManagerDictListMutableSequence NamedTupleOptionalSequenceTupleUnion) _c_call_cb_error_handler_CBData_Error_ffi _handle_error_lib_str_to_str)Control)Logger OrderedEnum)Symbol)SliceSlicedMutableSequence)BAST ASTSequenceASTTypeASTValue AggregateAggregateFunctionGuardBinaryOperationBinaryOperator BodyAggregateBodyAggregateElementBooleanConstantComment CommentType ComparisonComparisonOperatorConditionalLiteralDefined Definition DisjunctionEdgeExternalFunction HeadAggregateHeadAggregateElement HeuristicIdIntervalLiteralLocationMinimizePoolPositionProgramProgramBuilder ProjectAtomProjectSignatureRuleScript ShowSignatureShowTermSign StrSequence SymbolicAtom SymbolicTerm TheoryAtomTheoryAtomDefinitionTheoryAtomElementTheoryAtomTypeTheoryDefinitionTheoryFunction TheoryGuardTheoryGuardDefinitionTheoryOperatorDefinitionTheoryOperatorTypeTheorySequenceTheorySequenceTypeTheoryTermDefinitionTheoryUnparsedTermTheoryUnparsedTermElement TransformerUnaryOperation UnaryOperatorVariable parse_files parse_stringch\rSrSrSr\R r\Rr \Rr \Rr \Rr\R r\R$r\R(r\R,r\R0r\R4r\R8r\R<r\R@r!\RDr#\RHr%\RLr'\RPr)\RTr+\RXr-\R\r/\R`r1\Rdr3\Rhr5\Rlr7\Rpr9\Rtr;\Rxr=\R|r?\RrA\RrC\RrE\RrG\RrI\RrK\RrM\RrO\RrQ\RrS\RrU\RrW\RrY\Rr[\Rr]\Rr_\RraSrbg)r#iz Enumeration of ast node types. N)c__name__ __module__ __qualname____firstlineno____doc__rclingo_ast_type_idr;clingo_ast_type_variabler`clingo_ast_type_symbolic_termrMclingo_ast_type_unary_operationr^ clingo_ast_type_binary_operationr(clingo_ast_type_intervalr<clingo_ast_type_functionr7clingo_ast_type_poolr@ clingo_ast_type_boolean_constantr,clingo_ast_type_symbolic_atomrLclingo_ast_type_comparisonr/clingo_ast_type_guardr'#clingo_ast_type_conditional_literalr1clingo_ast_type_aggregater%&clingo_ast_type_body_aggregate_elementr+clingo_ast_type_body_aggregater*&clingo_ast_type_head_aggregate_elementr9clingo_ast_type_head_aggregater8clingo_ast_type_disjunctionr4clingo_ast_type_theory_sequencerXclingo_ast_type_theory_functionrS,clingo_ast_type_theory_unparsed_term_elementr\$clingo_ast_type_theory_unparsed_termr[clingo_ast_type_theory_guardrT#clingo_ast_type_theory_atom_elementrPclingo_ast_type_theory_atomrNclingo_ast_type_literalr=*clingo_ast_type_theory_operator_definitionrV&clingo_ast_type_theory_term_definitionrZ'clingo_ast_type_theory_guard_definitionrU&clingo_ast_type_theory_atom_definitionrOclingo_ast_type_rulerFclingo_ast_type_definitionr3clingo_ast_type_show_signaturerHclingo_ast_type_show_termrIclingo_ast_type_minimizer?clingo_ast_type_scriptrGclingo_ast_type_programrBclingo_ast_type_externalr6clingo_ast_type_edger5clingo_ast_type_heuristicr:clingo_ast_type_project_atomrD!clingo_ast_type_project_signaturerEclingo_ast_type_definedr2!clingo_ast_type_theory_definitionrRclingo_ast_type_commentr-__static_attributes__rdD/home/james-whalen/.local/lib/python3.13/site-packages/clingo/ast.pyr#r#s  B,,H55L99N;;O,,H,,H  $ $D;;O55L00J  & &EAA..IFF77MFF77M22K99N99N $ Q QBB33K@@11J**G#NNFF HHFF  $ $D00J77M--H,,H  ( (F**G,,H  $ $D..I33K==**G==**Grr#c\rSrSrSr\R r\Rr \Rr \Rr \RrSrg)r&iz$ Enumeration of aggegate functions. rdN)rerfrgrhrir#clingo_ast_aggregate_function_countCount!clingo_ast_aggregate_function_maxMax!clingo_ast_aggregate_function_minMin!clingo_ast_aggregate_function_sumSum"clingo_ast_aggregate_function_sumpSumPlusrrdrrr&r&sa  4 4E  0 0C  0 0C  0 0C55Grr&c\rSrSrSr\R r\Rr \Rr \Rr \Rr\R r\R$r\R(r\R,rSrg)r)iz" Enumeration of binary operators. rdN)rerfrgrhrirclingo_ast_binary_operator_andAnd#clingo_ast_binary_operator_divisionDivision clingo_ast_binary_operator_minusMinus!clingo_ast_binary_operator_moduloModulo)clingo_ast_binary_operator_multiplicationMultiplicationclingo_ast_binary_operator_orOrclingo_ast_binary_operator_plusPlus clingo_ast_binary_operator_powerPowerclingo_ast_binary_operator_xorXOrrrdrrr)r)s  - -C77H  1 1E 3 3FCCN  + +B  / /D  1 1E  - -Crr)cJ\rSrSrSr\R r\Rr Sr g)r.i$z Enumeration of comment types. rdN) rerfrgrhrirclingo_comment_type_lineLineclingo_comment_type_blockBlockrrdrrr.r.$s+  ( (D  * *Err.c\rSrSrSr\R r\Rr \Rr \Rr \Rr\R rSrg)r0i3z& Enumeration of comparison operators. rdN)rerfrgrhrir$clingo_ast_comparison_operator_equalEqual,clingo_ast_comparison_operator_greater_equal GreaterEqual+clingo_ast_comparison_operator_greater_than GreaterThan)clingo_ast_comparison_operator_less_equal LessEqual(clingo_ast_comparison_operator_less_thanLessThan(clingo_ast_comparison_operator_not_equalNotEqualrrdrrr0r03ss  5 5EDDLBBK>>I<  rc[U[5(a [S5e[U5nUS:aX- nUS:dX:a [ S5e[ [ R"URURU55 gr0) rrr*rrrr%clingo_ast_attribute_delete_string_atrrrs rr2StrSequence.__delitem__[sm eU # #56 64y 19 ME 19 _- -  6 6 4??E  rc [[R"URURXR 555 gr)rr%clingo_ast_attribute_insert_string_atrrrbr6s rr8StrSequence.insertis-  6 6 4??E<<>  rcH[[U5SS5HnXS- M gr;r=r>s rr@StrSequence.clearprBrc*[[U55$rrDrs rrGStrSequence.__str__wrIrc*[[U55$rrKrs rrMStrSequence.__repr__zrOrrPN)rerfrgrhrirr rQrrr$r-r2r8r@rGrMrrdrrrKrKsE+ +   $      rrKc<\rSrSr%Sr\\S'\\S'\\S'Srg)rAi~z. Class to point to a position in a text file. filenamelinecolumnrdN) rerfrgrhrirE__annotations__rQrrdrrrArA~s+M I KrrAc0\rSrSr%Sr\\S'\\S'Srg)r>iz+ Class to point to a range in a text file. beginendrdN)rerfrgrhrirArtrrdrrr>r>s O Mrr>locc [R"SURRR 55n[R"SUR RR 55n[R"SUUURR UR R URRUR R45UU4$)Nchar[]zclingo_location_t*)rnewrvrqrbrwrrrs)rxmemamembs r _c_locationr~s 88Hcii00779 :D 88Hcgg..557 8D             rc[[[UR5URUR 5[[UR 5URUR55$r) r>rAr begin_file begin_line begin_columnend_fileend_line end_column)rs r _py_locationrsK (#..#:J:JK& cnnE rNr!c^\rSrSrSrU4SjrSrSrSrSr Sr S r S r S r SS jrSSjrS\S S4SjrS \\\\44SjrS \\4SjrS \\4Sjr\S \4Sj5r\S \\4Sj5rSS\S\S \S4SjjrSrU=r $)r!ia Represents a node in the abstract syntax tree. The attributes of an `AST` are tied to its type. They correspond to the grammar in the description of the `clingo.ast` module. `AST` nodes can be constructed using one of the functions provided in this module. Furthermore, AST nodes implement Python's rich comparison operators and are ordered structurally ignoring the location. They can also be used as dictionary keys. Their string representation corresponds to their gringo representation. In fact, the string representation of any AST obtained from `parse_files` and `parse_string` can be parsed again. Note that it is possible to construct ASTs that are not parsable, though. c&>[TU]SU5 g)Nr)super __setattr__)rr __class__s rr AST.__init__s FC(rc[U[5(d[$[R"UR UR 5$r)rr!NotImplementedrclingo_ast_equalrrs rr AST.__eq__s0%%%! !$$TYY ;;rc[U[5(d[$[R"UR UR 5$r)rr!rrclingo_ast_less_thanrrs rr AST.__lt__s0%%%! !((EJJ??rcB[R"UR5$r)rclingo_ast_hashrrs rr AST.__hash__s##DII..rcD[R"UR5 grrrs rr  AST.__del__r rc[RU5nUb+[S[RUR U5(d[ SU35e[S[RUR U5nU[R:Xa/[[S[RUR U55$U[R:Xa&[S[RUR U5$U[R:Xa/[[S[RUR U55$U[R :Xa/[#[S[R$UR U55$U[R&:XaG[S[R(UR U5nU[*R,:wa [/U5$S$U[R0:Xa/[/[S[R2UR U55$U[R4:Xa[7UR U5$U[R8:Xde[;UR U5$) Nboolno attribute: clingo_ast_attribute_type_tr[rQclingo_symbol_tclingo_location_tr)_attribute_namesgetrrclingo_ast_has_attributerAttributeErrorclingo_ast_attribute_type clingo_ast_attribute_type_stringrclingo_ast_attribute_get_string clingo_ast_attribute_type_numberclingo_ast_attribute_get_number clingo_ast_attribute_type_symbolrclingo_ast_attribute_get_symbol"clingo_ast_attribute_type_locationr!clingo_ast_attribute_get_location&clingo_ast_attribute_type_optional_ast%clingo_ast_attribute_get_optional_astrNULLr!clingo_ast_attribute_type_astclingo_ast_attribute_get_ast&clingo_ast_attribute_type_string_arrayrK#clingo_ast_attribute_type_ast_arrayr")rnameattr_id attr_typers r __getattr__AST.__getattr__s"&&t, ?' D11499g# # !>$!89 9 )  * * II   == =TAA499g  == =t;;TYY  == =%88II   ?? ?'::II   CC C::  C #dii/3s8 9T 9 :: :#55II   CC Ctyy'2 2DDDDDD499g..rcP[[SU35n[S[RURU5(d[ SU35e[S[R URU5nU[R:Xa9[[R"URX2R555 gU[R:Xa+[[R"URX255 gU[R:Xa5[[R"URX2R55 gU[R:Xa9[!U5n[[R""URX5S55 gU[R$:XaH[[R&"URX2c[(R*O UR55 gU[R,:Xa5[[R."URX2R55 gU[R0:Xa[3U[45(a5X2R6:Xa%URUR:Xa [9U5nO [3U[85(d [9U5n[5URU5nUR;5 UR=U5 gU[R>:Xde[3U[@5(a5X2R6:Xa%URUR:Xa [9U5nO [3U[85(d [9U5n[AURU5nUR;5 UR=U5 g)Nclingo_ast_attribute_rrrr)!getattrrrrrrrrrclingo_ast_attribute_set_stringrbrclingo_ast_attribute_set_numberrclingo_ast_attribute_set_symbolrr~!clingo_ast_attribute_set_locationr%clingo_ast_attribute_set_optional_astrrrclingo_ast_attribute_set_astrrrKrrFr@extendrr")rrr7rrc_locstr_seqast_seqs rrAST.__setattr__(s$"7v >?vt<$!89 9 )  * * II   == = 44TYYX $?? ? 44TYYO $?? ? 44TYYT $AA A&E 66tyy'QR8T $EE E ::IIw]    $<< < 11$))WjjQ $EE E%--...499 3J KEt,,U !$))W5G MMO NN5 ! H HH HH%--...499 3J KEt,,U !$))W5G MMO NN5 !rch[[R[RUR5$r)rrclingo_ast_to_string_sizeclingo_ast_to_stringrrs rrG AST.__str__as&  * *D,E,Etyy  rc[UR5RSS5nSRSUR 555nUSUS3$)Nr#r,z, c38# UHn[U5v M g7fr)rL).0xs r AST.__repr__..hs8-Qa-s())rEast_typereplacejoinvalues)rrargss rrM AST.__repr__fsJ4==!)))U;yy8$++-88qa  rr c^[[S[RUR55$)z# Return a shallow copy of the ast. r)r!rrclingo_ast_copyrrs r__copy__ AST.__copy__ks"7?D,@,@$))LMMrc^[[S[RUR55$)z Return a deep copy of the ast. r)r!rrclingo_ast_deep_copyr)rmemos r __deepcopy__AST.__deepcopy__qs"7?D,E,EtyyQRRrkwargsc U(dU$/nUR5H7nX1;aURX5 MUR[X55 M9 [5[ UR 5R SS5nU"U6$)z Return a copy of the AST also updating the given attributes. Note that this function returns a reference to self if no arguments are given. ASTType.)keysappendrglobalsrErr)rrrkeyconss rupdate AST.updatewssK99;C} FK( GD./  yT]]+33JCDT{rcbUR5Vs/sHo[X54PM sn$s snf)z$ The list of items of the AST node. rrrrs ritems AST.itemss*9= D wt*+ DDDs,c2[RRURRn[R R n[UR5Vs/sH'n[X!RUR5PM) sn$s snf)z# The list of keys of the AST node. ) rg_clingo_ast_constructors constructorsrr7g_clingo_ast_attribute_namesnamesr"rr argumentsrrrrjs rrAST.keysso--::4==;N;NO1177EJ499EUVEUnnQ/99:;EUVVVs#.Bc`UR5Vs/sHn[X5PM sn$s snf)z% The list of values of the AST node. rrs rr AST.valuess'37))+>+$$+>>>s+c^[[S[RUR55$)z The type of the node. clingo_ast_type_t)r#rrclingo_ast_get_typerrs rr AST.ast_types(  ')A)A499 M  rc[RRURRn[R R n[UR5Vs/sHsnURUR[R[R[R4;dMO[X!RUR5PMu sn$s snf)z* List of attribute names containing ASTs. )rrrrr7rrr"rrtyperrrrrrs r child_keysAST.child_keyss --::4==;N;NO1177499%  %~~a %%22;;88 8GE..+556 7%   s #AC 5(C r conditioncVSnU(aU[R-nU(aU[R-n/n[5n[ UR U5n[ R"U5n[[R"URU[RU55 U$)z Unpool the AST returning a list of ASTs without pool terms. Parameters ---------- other Remove all pools except those in conditions of conditional literals. condition Only remove pools from conditions of conditional literals. r) rclingo_ast_unpool_type_other clingo_ast_unpool_type_conditionrrrr new_handlerclingo_ast_unpoolrpyclingo_ast_callback)rrr unpool_typereterrorcb_data c_cb_datas runpool AST.unpools  4<< !( 3 I / 00 99 HEh&G(I $$ NN   & &        rcD\rSrSrSrS\4SjrSrSrS\ SS 4S jr S r g ) rCi]a Object to build non-ground programs. Parameters ---------- control The `clingo.control.Control` object to attach the builder to. See Also -------- parse_string, parse_files Notes ----- This class is a context manager and must be used with Python's `with` statement. rcX[S[RUR5Ulg)Nzclingo_program_builder_t*)rrclingo_program_builder_initr)rrs rrProgramBuilder.__init__ps ')I)I7<<  rcX[[R"UR55 U$r)rrclingo_program_builder_beginrrs r __enter__ProgramBuilder.__enter__usd77 BC rcV[[R"UR55 g)NF)rrclingo_program_builder_endr)rexc_typeexc_valexc_tbs r__exit__ProgramBuilder.__exit__ysd55dii@Ar statementr Ncl[[R"URUR55 g)zv Adds a statement in form of an `AST` node to the program. Parameters ---------- statement The statement to add. N)rrclingo_program_builder_addr)rr8s raddProgramBuilder.add}s! d55diiPQr)r) rerfrgrhrirrr/r6r!r;rrdrrrCrC]s3$   RS RT RrrCc \rSrSrSrS\S\S\S\4SjrS\S\S\S\\ \ 44Sjr S \ S\S\S\ \4S jrS\S \\ 4S\S\S\S \\ \44S jrS\S\S\S\4S jrSrg )r]ia Utility class to transform ASTs. Classes should inherit from this class and implement functions with name `visit_` where `` is the type of the ASTs to visit and modify. Such a function should return an updated AST or the same AST if no change is necessary. The transformer will take care to copy all parent ASTs involving a modified child. Note that the class works like a visitor if only self references are returned from such functions. Any extra arguments passed to the visit method are passed on to child ASTs. r,rrr c S[UR5RSS5-n[X5(a[ X5"U/UQ70UD6$UR "S0UR "U/UQ70UD6D6$)zs Dispatch to a visit method in a base class or visit and transform the children of the given AST if it is missing. visit_rrrd)rErrhasattrrrvisit_children)rr,rrattrs rvisitTransformer.visitsp #cll+33JCC 4  4&s>C##C..6t6v6C~!s "  rsequenceclU/pTUH*nURU"U/UQ70UD65 USULdM(UnM, U$)zn Transform a sequence of ASTs returning the same sequnce if there are no changes or a list of ASTs otherwise. r<)r)rrJrrr lstrHs rvisit_sequenceTransformer.visit_sequencesHRSC JJtC1$1&1 22wc! rNcUcU$[U[5(aUR"U/UQ70UD6$[U[R5(aUR "U/UQ70UD6$[ S5e)z> Visit and transform an (optional) AST or a sequence of ASTs. zunexpected type)rr!rCrrrMr*rr,rrs rrGTransformer._dispatchsl ;J c3  ::c3D3F3 3 c3<< ( (&&s    +sK/0+9<+HK+ tS/#.. /+"0C00s0s0rr]locationrc  [R"S5n[U5n[[R "[R UUS[R"SUR5555 [US5$)z- Construct an AST node of type `ASTType.Id`. clingo_ast_t**r char const[]) rr{r~rrclingo_ast_buildrjrbr!rUrp_ast c_locations rr;r;sj HH% &EX&J   # #  qM HH^T[[] 3   uQx=rc  [R"S5n[U5n[[R "[R UUS[R"SUR5555 [US5$)z3 Construct an AST node of type `ASTType.Variable`. rWrrX) rr{r~rrrYrkrbr!rZs rr`r`sj HH% &EX&J   ) )  qM HH^T[[] 3   uQx=rsymbolc [R"S5n[U5n[[R "[R UUS[R"SUR555 [US5$)z7 Construct an AST node of type `ASTType.SymbolicTerm`. rWrr) rr{r~rrrYrlcastrr!)rUr^r[r\s rrMrMsi HH% &EX&J   . .  qM II' 5   uQx=r operator_typeargumentc [R"S5n[U5n[[R "[R UUS[R"SU5UR55 [US5$)z9 Construct an AST node of type `ASTType.UnaryOperation`. rWrrQ) rr{r~rrrYrmr`rr!)rUrarbr[r\s rr^r^sk HH% &EX&J   0 0  qM IIe] + MM   uQx=rleftrightc [R"S5n[U5n[[R "[R UUS[R"SU5URUR55 [US5$)z: Construct an AST node of type `ASTType.BinaryOperation`. rWrrQ) rr{r~rrrYrnr`rr!)rUrardrer[r\s rr(r( sr HH% &EX&J   1 1  qM IIe] + II JJ    uQx=rc [R"S5n[U5n[[R "[R X4SURUR55 [US5$)z3 Construct an AST node of type `ASTType.Interval`. rWr) rr{r~rrrYrorr!)rUrdrer[r\s rr<r<5s^ HH% &EX&J   ) )5Q-EJJ  uQx=rrexternalc[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SUVs/sHofRPM sn5[R"S[U55[R"SU555 [US5$s snf)z3 Construct an AST node of type `ASTType.Function`. rWrrXclingo_ast_t*[]rrQ) rr{r~rrrYrprbrr`rr!)rUrrrhr[r\rs rr7r7Cs HH% &EX&J   ) )  qM HH^T[[] 3 HH&(CA(C D IIhI / IIeX &   uQx= )DsC+cl[R"S5n[U5n[[R "[R UUS[R"SUVs/sHoDRPM sn5[R"S[U5555 [US5$s snf)z/ Construct an AST node of type `ASTType.Pool`. rWrrjr) rr{r~rrrYrqrr`rr!)rUrr[r\rs rr@r@Ys HH% &EX&J   % %  qM HH&(CA(C D IIhI /   uQx= )D B1r7c [R"S5n[[R"[R U[R "SU555 [US5$)z: Construct an AST node of type `ASTType.BooleanConstant`. rWrQr)rr{rrrYrrr`r!)r7r[s rr,r,ksQ HH% &E   1 15$))E5:Q  uQx=rc[R"S5n[[R"[R XR 55 [US5$)z7 Construct an AST node of type `ASTType.SymbolicAtom`. rWr)rr{rrrYrsrr!)r^r[s rrLrLxsE HH% &E d@@%U uQx=rtermguardscd[R"S5n[[R"[R UUR [R"SUVs/sHo3R PM sn5[R"S[U5555 [US5$s snf)z5 Construct an AST node of type `ASTType.Comparison`. rWrjrr) rr{rrrYrtrr`rr!)rorpr[rs rr/r/s HH% &E   + +  II HH&(@A(@ A IIhF ,   uQx= )AsB- comparisonc [R"S5n[[R"[R U[R "SU5UR55 [US5$)z0 Construct an AST node of type `ASTType.Guard`. rWrQr) rr{rrrYrur`rr!)rrror[s rr'r'sW HH% &E   & &tyy /KTYY  uQx=rliteralrc[R"S5n[U5n[[R "[R UUSUR[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z= Construct an AST node of type `ASTType.ConditionalLiteral`. rWrrjr) rr{r~rrrYrvrr`rr!)rUrtrr[r\rs rr1r1s HH% &EX&J   4 4  qM LL HH&(CA(C D IIhI /    uQx= )D+B< left_guardelements right_guardc[R"S5n[U5n[[R "[R UUSUc[RO UR[R"SUVs/sHofRPM sn5[R"S[U55Uc[RO UR55 [US5$s snf)z4 Construct an AST node of type `ASTType.Aggregate`. rWrrjr) rr{r~rrrYrwrrr`rr!)rUrwrxryr[r\rs rr%r%s HH% &EX&J   * *  qM#+DII HH&(BA(B C IIhH .$,DII+2B2B   uQx= )Cs>C-termsc[R"S5n[[R"[R U[R"SUVs/sHo3R PM sn5[R"S[U55[R"SUVs/sHo3R PM sn5[R"S[U5555 [US5$s snfs snf)z? Construct an AST node of type `ASTType.BodyAggregateElement`. rWrjrr) rr{rrrYrxrr`rr!r{rr[rs rr+r+s HH% &E   7 7  HH&(?A(? @ IIhE + HH&(CA(C D IIhI /    uQx= )@(C C1 C6functionc[R"S5n[U5n[[R "[R UUSUc[RO UR[R"SU5[R"SUVs/sHowRPM sn5[R"S[U55Uc[RO UR55 [US5$s snf)z8 Construct an AST node of type `ASTType.BodyAggregate`. rWrrQrjr) rr{r~rrrYryrrr`rr!rUrwrrxryr[r\rs rr*r* HH% &EX&J   / /  qM#+DII IIeX & HH&(BA(B C IIhH .$,DII+2B2B   uQx= )CDc d[R"S5n[[R"[R U[R"SUVs/sHo3R PM sn5[R"S[U55UR 55 [US5$s snf)z? Construct an AST node of type `ASTType.HeadAggregateElement`. rWrjrr) rr{rrrYrzrr`rr!r}s rr9r9s HH% &E   7 7  HH&(?A(? @ IIhE + NN   uQx= )@sB-c[R"S5n[U5n[[R "[R UUSUc[RO UR[R"SU5[R"SUVs/sHowRPM sn5[R"S[U55Uc[RO UR55 [US5$s snf)z8 Construct an AST node of type `ASTType.HeadAggregate`. rWrrQrjr) rr{r~rrrYr{rrr`rr!rs rr8r8 rrcl[R"S5n[U5n[[R "[R UUS[R"SUVs/sHoDRPM sn5[R"S[U5555 [US5$s snf)z6 Construct an AST node of type `ASTType.Disjunction`. rWrrjr) rr{r~rrrYr|rr`rr!rUrxr[r\rs rr4r4(s HH% &EX&J   , ,  qM HH&(BA(B C IIhH .   uQx= )Crl sequence_typec[R"S5n[U5n[[R "[R UUS[R"SU5[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z9 Construct an AST node of type `ASTType.TheorySequence`. rWrrQrjr) rr{r~rrrYr}r`rrr!)rUrr{r[r\rs rrXrX:s HH% &EX&J   0 0  qM IIe] + HH&(?A(? @ IIhE +    uQx= )@s6Cc[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z9 Construct an AST node of type `ASTType.TheoryFunction`. rWrrXrjr) rr{r~rrrYr~rbrr`rr!)rUrrr[r\rs rrSrSMs HH% &EX&J   0 0  qM HH^T[[] 3 HH&(CA(C D IIhI /    uQx= )DC operatorsc [R"S5nUVs/sH(n[R"SUR55PM* nn[[R "[R U[R"SU5[R"S[U55UR55 [US5$s snf)zD Construct an AST node of type `ASTType.TheoryUnparsedTermElement`. rWrzchar*[]rr) rr{rbrrrYrr`rrr!rror[r c_operatorss rr\r\`s HH% &E;DE9a488Hahhj19KE   = =  HHY , IIhI / II   uQx=Fs/Ccl[R"S5n[U5n[[R "[R UUS[R"SUVs/sHoDRPM sn5[R"S[U5555 [US5$s snf)z= Construct an AST node of type `ASTType.TheoryUnparsedTerm`. rWrrjr) rr{r~rrrYrrr`rr!rs rr[r[rs HH% &EX&J   5 5  qM HH&(BA(B C IIhH .   uQx= )Crl operator_namec [R"S5n[[R"[R U[R"SUR 55UR55 [US5$)z6 Construct an AST node of type `ASTType.TheoryGuard`. rWrXr) rr{rrrYrrbrr!)rror[s rrTrTsc HH% &E   - -  HH^]%9%9%; < II   uQx=rc[R"S5n[[R"[R U[R"SUVs/sHo3R PM sn5[R"S[U55[R"SUVs/sHo3R PM sn5[R"S[U5555 [US5$s snfs snf)z< Construct an AST node of type `ASTType.TheoryAtomElement`. rWrjrr) rr{rrrYrrr`rr!r}s rrPrPs HH% &E   4 4  HH&(?A(? @ IIhE + HH&(CA(C D IIhI /    uQx= )@(Cr~guardc[R"S5n[U5n[[R "[R UUSUR[R"SUVs/sHofRPM sn5[R"S[U55Uc[RO UR55 [US5$s snf)z5 Construct an AST node of type `ASTType.TheoryAtom`. rWrrjr) rr{r~rrrYrrr`rrr!)rUrorxrr[r\rs rrNrNs HH% &EX&J   , ,  qM II HH&(BA(B C IIhH .DIIEJJ   uQx= )Cs+Csignatomc [R"S5n[U5n[[R "[R UUS[R"SU5UR55 [US5$)z2 Construct an AST node of type `ASTType.Literal`. rWrrQ) rr{r~rrrYrr`rr!)rUrrr[r\s rr=r=sk HH% &EX&J   ( (  qM IIeT " II   uQx=rpriorityc d[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SU5[R"SU555 [US5$)zC Construct an AST node of type `ASTType.TheoryOperatorDefinition`. rWrrXrQ) rr{r~rrrYrrbr`r!)rUrrrar[r\s rrVrVs HH% &EX&J   ; ;  qM HH^T[[] 3 IIeX & IIe] +    uQx=rc[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z? Construct an AST node of type `ASTType.TheoryTermDefinition`. rWrrXrjr) rr{r~rrrYrrbrr`rr!)rUrrr[r\rs rrZrZs HH% &EX&J   7 7  qM HH^T[[] 3 HH&(CA(C D IIhI /    uQx= )Drc [R"S5nUVs/sH(n[R"SUR55PM* nn[[R "[R U[R"SU5[R"S[U55[R"SUR5555 [US5$s snf)z@ Construct an AST node of type `ASTType.TheoryGuardDefinition`. rWrzrrrXr) rr{rbrrrYrr`rr!rs rrUrUs HH% &E;DE9a488Hahhj19KE   8 8  HHY , IIhI / HH^T[[] 3   uQx=Fs/C! atom_typearityc[R"S5n[U5n[[R "[R UUS[R"SU5[R"SUR55[R"SU5[R"SUR55Uc[RO UR55 [US5$)z? Construct an AST node of type `ASTType.TheoryAtomDefinition`. rWrrQrX) rr{r~rrrYrr`rbrrr!)rUrrrrorr[r\s rrOrO s HH% &EX&J   7 7  qM IIeY ' HH^T[[] 3 IIeU # HH^T[[] 3DIIEJJ   uQx=rheadbodyc[R"S5n[U5n[[R "[R UUSUR[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z/ Construct an AST node of type `ASTType.Rule`. rWrrjr) rr{r~rrrYrrr`rr!)rUrrr[r\rs rrFrF&s HH% &EX&J   % %  qM II HH&(>A(> ? IIhD *    uQx= )?rv is_defaultc N[R"S5n[U5n[[R "[R UUS[R"SUR55UR[R"SU555 [US5$)z5 Construct an AST node of type `ASTType.Definition`. rWrrXrQ) rr{r~rrrYrrbrr`r!)rUrr7rr[r\s rr3r39s HH% &EX&J   + +  qM HH^T[[] 3 JJ IIeZ (    uQx=rpositivec d[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SU5[R"SU555 [US5$)z8 Construct an AST node of type `ASTType.ShowSignature`. rWrrXrQ) rr{r~rrrYrrbr`r!rUrrrr[r\s rrHrHLs HH% &EX&J   / /  qM HH^T[[] 3 IIeU # IIeX &    uQx=rc[R"S5n[U5n[[R "[R UUSUR[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z3 Construct an AST node of type `ASTType.ShowTerm`. rWrrjr) rr{r~rrrYrrr`rr!)rUrorr[r\rs rrIrI_s HH% &EX&J   * *  qM II HH&(>A(> ? IIhD *    uQx= )?rvweightc@[R"S5n[U5n[[R "[R UUSURUR[R"SUVs/sHowRPM sn5[R"S[U55[R"SUVs/sHowRPM sn5[R"S[U555 5 [US5$s snfs snf)z3 Construct an AST node of type `ASTType.Minimize`. rWrrjr) rr{r~rrrYrrr`rr!)rUrrr{rr[r\rs rr?r?rs HH% &EX&J   ) )  qM KK MM HH&(?A(? @ IIhE + HH&(>A(> ? IIhD *   uQx= )@(>s 6DD codec T[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SUR5555 [US5$)z1 Construct an AST node of type `ASTType.Script`. rWrrX) rr{r~rrrYrrbr!)rUrrr[r\s rrGrGs~ HH% &EX&J   ' '  qM HH^T[[] 3 HH^T[[] 3   uQx=r parametersc[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z2 Construct an AST node of type `ASTType.Program`. rWrrXrjr) rr{r~rrrYrrbrr`rr!)rUrrr[r\rs rrBrBs HH% &EX&J   ( (  qM HH^T[[] 3 HH&(DA(D E IIhJ 0    uQx= )Er external_typec[R"S5n[U5n[[R "[R UUSUR[R"SUVs/sHofRPM sn5[R"S[U55UR55 [US5$s snf)z3 Construct an AST node of type `ASTType.External`. rWrrjr) rr{r~rrrYrrr`rr!)rUrrrr[r\rs rr6r6s HH% &EX&J   ) )  qM II HH&(>A(> ? IIhD *      uQx= )?s+Cnode_unode_vc[R"S5n[U5n[[R "[R UUSURUR[R"SUVs/sHofRPM sn5[R"S[U5555 [US5$s snf)z/ Construct an AST node of type `ASTType.Edge`. rWrrjr) rr{r~rrrYrrr`rr!)rUrrrr[r\rs rr5r5s HH% &EX&J   % %  qM KK KK HH&(>A(> ? IIhD *   uQx= )?s6Cbiasmodifierc[R"S5n[U5n[[R "[R UUSUR[R"SUVs/sHoRPM sn5[R"S[U55URURUR5 5 [US5$s snf)z4 Construct an AST node of type `ASTType.Heuristic`. rWrrjr) rr{r~rrrYrrr`rr!) rUrrrrrr[r\rs rr:r:s HH% &EX&J   * *  qM II HH&(>A(> ? IIhD * II MM MM   uQx=)?s+Cc[R"S5n[U5n[[R "[R UUSUR[R"SUVs/sHoURPM sn5[R"S[U5555 [US5$s snf)z6 Construct an AST node of type `ASTType.ProjectAtom`. rWrrjr) rr{r~rrrYrrr`rr!)rUrrr[r\rs rrDrDs HH% &EX&J   - -  qM II HH&(>A(> ? IIhD *    uQx= )?rvc d[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SU5[R"SU555 [US5$)z; Construct an AST node of type `ASTType.ProjectSignature`. rWrrXrQ) rr{r~rrrYrrbr`r!rs rrErE s HH% &EX&J   2 2  qM HH^T[[] 3 IIeU # IIeX &    uQx=rc d[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SU5[R"SU555 [US5$)z2 Construct an AST node of type `ASTType.Defined`. rWrrXrQ) rr{r~rrrYrrbr`r!rs rr2r2 s HH% &EX&J   ( (  qM HH^T[[] 3 IIeU # IIeX &    uQx=ratomsc\[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SUVs/sHofRPM sn5[R"S[U55[R"SUVs/sHofRPM sn5[R"S[U5555 [US5$s snfs snf)z; Construct an AST node of type `ASTType.TheoryDefinition`. rWrrXrjr) rr{r~rrrYrrbrr`rr!)rUrr{rr[r\rs rrRrR3 s HH% &EX&J   2 2  qM HH^T[[] 3 HH&(?A(? @ IIhE + HH&(?A(? @ IIhE +   uQx= )@(?s D$D) comment_typec 8[R"S5n[U5n[[R "[R UUS[R"SUR55[R"SU555 [US5$)z2 Construct an AST node of type `ASTType.Comment`. rWrrXrQ) rr{r~rrrYrrbr`r!)rUr7rr[r\s rr-r-J sx HH% &EX&J   ( (  qM HH^U\\^ 4 IIe\ *   uQx=r)NN)vri collectionsrenumr functoolsrtypingrrrr r r r r rrr _internalrrrrrrrrrrrcorerrr^rutilrr __all__r#r&r)r.r0rJrQrWrYr_r"rKrAr>r~rr"rrrrrErQr$rr! def_externrrarbrCr]r;r`rMr^r(r<r7r@r,rLr/r'r1r%r+r*r9r8r4rXrSr\r[rTrPrNr=rVrZrUrOrFr3rHrIr?rGrBr6r5r:rDrEr2rRr-)r?s0rrs }~ $       %.C P2+k2+j6(W(V ' >7&W.&&G&g #%%g T\ #%%\ ~z& z X(44499 : : D - - 3 3A 67: : c68T5+{R S fheXc]HUOK  NNNb*629PQR"&# < C=<ud{#<g < V  <  <  <D"&# 7 7ud{#7g 7 V  7  7  7t)R^$45)RXO0O0d"xss"8V"XcSS$'*25>A* x s 3 3 !.6smGJ,8 #$ 3 3 S(3-C" c   !$19#* sm#   2 (3-C$ sm  #   6 ##" sm  #   6(hsm$Xc(3-TW&XSXc]s&#cc$Xc]s$ s # #  Xc]x}$!-5c]CKC=,hc$!-0AD*!.6sm*Xc]##$      C=  883hsm&Scc&HCss&xs(3-C&  C=  3-   8XS$hcx}&!)1#GJ,8S#Xc]s(  3-       :(#Xc]s&xs3#RU&hc#&!*23-@H .hs##_,s;*S+