a h@sddlmZddlmZddlmZeZeZGdddZddZ d d Z eed d Z e ee d d Z eddZ dS))contextmanager)dispatch)hashablec@s8eZdZdZdZddZddZeZddZd d Z d S) VarzLogic VariablercGsPt|dkr(dtj}tjd7_nt|dkr<|d}t|}||_|S)Nr_r)lenr_idobject__new__token)clsr objrX/var/www/auris/lib/python3.9/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 -r#z*vars....)range)nrrrr"-r#zvars..rrrrrvars,sr*cCsdS)NTr)vrrrisvar0sr,cCst ot|o|tvSr)_glvr)orrrr,8sc gsLt}tt|zdVWtt|ntt|0dS)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_variablesrrrr4=s r4N) contextlibrrutilsrr2r/r-rr$r*r,r r4rrrrs