torch.fx.experimental.unification.variable.variables

torch.fx.experimental.unification.variable.variables(*variables)

Context manager for logic variables

Example

>>> 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}