U *-e@sddlmZddlmZddlmZeZeZGdddZddZ d d Z eed d Z e ee d d Z eddZ dS))contextmanager)hashable)dispatchc@s8eZdZdZdZddZddZeZddZd d Z d S) Varz Logic Variable rcGsPt|dkr(dtj}tjd7_nt|dkr<|d}t|}||_|S)Nr_r)lenr_idobject__new__token)clsr objrk/var/www/html/Darija-Ai-Train/env/lib/python3.8/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 rcCsddS)NcWst|Sr)r)argsrrr%zvar..rrrrrvar$sr$cCsddS)NcSsddt|DS)NcSsg|] }tqSr)r$).0irrr )sz*vars....)range)nrrrr")r#zvars..rrrrrvars(sr*cCsdS)NTr)vrrrisvar,sr,cCst ot|o|tkSr)_glvr)orrrr,3sc gs:t}tt|z dVW5tt|XdS)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_variablesrrrr48s  r4N) contextlibrutilsrrr2r/r-rr$r*r,r r4rrrrs