tj $UddlmZddlmZddlmZerddlmZmZm Z ddlm Z ddl m Z ddl m Z eZd ed <eZGd d ZddZddZe ed dZee ed!dZed"dZdS)#) annotations)contextmanager) TYPE_CHECKING)Callable GeneratorHashable)Literal)dispatch)hashablez set[Hashable]_global_logic_variablesc:eZdZdZdZddZddZeZdd ZddZ dS)VarzLogic Variabler tokenrreturnct|dkr%dtj}txjdz c_nt|dkr|d}t|}||_|S)Nr_r )lenr_idobject__new__r)clsrobjs h/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/torch/fx/experimental/unification/variable.pyrz Var.__new__sd u::??!MME GGqLGGG ZZ1__!HEnnS!!  strc0dt|jzS)N~)rrselfs r__str__z Var.__str__#sS__$$rotherrboolc^t|t|uo|j|jkSN)typer)r r"s r__eq__z Var.__eq__(s'DzzT%[[(FTZ5;-FFrintcHtt||jfSr%)hashr&rrs r__hash__z Var.__hash__+sT$ZZ,---rN)rrrr)rr)r"rrr#)rr() __name__ __module__ __qualname____doc__rrr!__repr__r'r+rrrrsz C    %%%%HGGGG......rrrCallable[..., Var]cdS)Nct|Sr%)r)argss rzvar..0s drr1r1rrvarr7/s # ##r)Callable[[int], list[Callable[..., Var]]]cdS)Nc4dt|DS)Nc*g|]}tSr1)r7).0is r z*vars....4s...cee...r)range)ns rr6zvars..4s..U1XX...rr1r1rrvarsrA3s . ..rv Literal[True]cdS)NTr1)rBs risvarrE7s 4rorr#cZttot|o|tvSr%)r#_glvr )rFs rrErE?s$ 2!2d 3 33r variablesrGenerator[None, None, None]c'jKt}tt| dVtt|dS#tt|wxYw)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)rIold_global_logic_variabless rrIrIDs."9!=!=!?!?""3y>>222C %%'''&&'ABBBBB %%'''&&'ABBBBs A==5B2N)rr2)rr8)rBrrrC)rFrrr#)rIrrrJ) __future__r contextlibrtypingrcollections.abcrrrr r utilsr rNr __annotations__rHrr7rArErrIr1rrrWs"""""""%%%%%% ==========*-............8$$$$//// # &4444CCCCCCr