o Zh@sddlmZddlmZddlmZeZeZGdddZddZ d d Z eed d Z e ee d d Z eddZ dS))contextmanager)dispatch)hashablec@s8eZdZdZdZddZddZeZddZd d Z d S) VarzLogic VariablercGsPt|dkrdtj}tjd7_n t|dkr|d}t|}||_|S)Nr_r)lenr_idobject__new__token)clsr objrY/var/www/auris/lib/python3.10/site-packages/torch/fx/experimental/unification/variable.pyr s    z Var.__new__cCsdt|jS)N~)strr selfrrr__str__sz Var.__str__cCst|t|ko |j|jkSN)typer )rotherrrr__eq__!sz Var.__eq__cCstt||jfSr)hashrr rrrr__hash__$sz Var.__hash__N) __name__ __module__ __qualname____doc__r r r__repr__rrrrrrr s  rcCddS)NcWst|Sr)r)argsrrr)szvar..rrrrrvar(r$cCr!)NcSsddt|DS)NcSsg|]}tqSr)r$).0irrr -z*vars....)range)nrrrr#-r)zvars..rrrrrvars,r%r,cCsdS)NTr)vrrrisvar0sr.cCst o t|o |tvSr)_glvr)orrrr.8sc gsLt}tt|zdVWtt|dStt|w)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)_global_logic_variablescopyupdatesetclear) variablesZold_global_logic_variablesrrrr6=s r6N) contextlibrrutilsrr4r1r/rr$r,r.r r6rrrrs