^j UddlmZddlmZddlmZerddlmZmZm Z ddlm Z ddl m Z ddl m Z eZd ed <eZGd d Zdd ZddZe eddZee eddZeddZy)) annotations)contextmanager) TYPE_CHECKING)Callable GeneratorHashable)Literal)dispatch)hashablez set[Hashable]_global_logic_variablesc8eZdZdZdZddZd dZeZd dZd dZ y) VarzLogic Variabler ct|dk(r-dtj}txjdz c_nt|dk(r|d}tj |}||_|S)Nr_r )lenr_idobject__new__token)clsrobjs u/var/www/ramen.bs-engineer-server.com/venv/lib/python3.12/site-packages/torch/fx/experimental/unification/variable.pyrz Var.__new__sW u:?yME GGqLG Z1_!HEnnS!  c2dt|jzS)N~)strrselfs r__str__z Var.__str__#sS_$$rcdt|t|uxr|j|jk(SN)typer)rothers r__eq__z Var.__eq__(s'DzT%[(FTZZ5;;-FFrcBtt||jfSr")hashr#rrs r__hash__z Var.__hash__+sT$Z,--rN)rrreturnr)r)r)r$rr)bool)r)int) __name__ __module__ __qualname____doc__rrr __repr__r%r(rrrrs& C %HG.rrcdS)Nct|Sr")r)argss rzvar..0s drr1r1rrvarr6/s ##rcdS)NcNt|Dcgc] }tc}Scc}wr")ranger6)nis rr5zvars..4sU1X.ce..s"r1r1rrvarsr<3s ..rcy)NTr1)vs risvarr?7s rcNttxrt|xr|tvSr")r*_glvr )os rr?r??s 2!2d 33rc'(Ktj}tjt| dtj tj|y#tj tj|wxYww)a Context manager for logic variables Example: >>> # xdoctest: +SKIP("undefined vars") >>> from __future__ import with_statement >>> with variables(1): ... print(isvar(1)) True >>> print(isvar(1)) False >>> # Normal approach >>> from unification import unify >>> x = var("x") >>> unify(x, 1) {~x: 1} >>> # Context Manager approach >>> with variables("x"): ... print(unify("x", 1)) {'x': 1} N)r copyupdatesetclear) variablesold_global_logic_variabless rrHrHDsk."9!=!=!?""3y>2C %%'&&'AB %%'&&'ABs3BA$*B$+BBN)r)zCallable[..., Var])r)z)Callable[[int], list[Callable[..., Var]]])r>rr)z Literal[True])rBrr)r*)rHrr)zGenerator[None, None, None]) __future__r contextlibrtypingrcollections.abcrrrr r utilsr rFr __annotations__rArr6r<r?rrHr1rrrPs"% ==*-...8$/ # &44CCr