Remove Bindings and BindingsSet method variants which work with strings instead of variables. This is technical debt after introducing full functional Python API for the variable bindings.
Add VariableAtom::parse_name() method to parse VariableAtom::name() method results into Rust and Python API. This is a technical debt after introducing unique variable instances.
New methods are used to fix DAS gate variable conversion logic.
Follow up #729. This PR contains two main parts:
Bindings
andBindingsSet
method variants which work with strings instead of variables. This is technical debt after introducing full functional Python API for the variable bindings.VariableAtom::parse_name()
method to parseVariableAtom::name()
method results into Rust and Python API. This is a technical debt after introducing unique variable instances.New methods are used to fix DAS gate variable conversion logic.
@besSveta please check this change doesn't break
sql_space.py
logic. @angeloprobst FYI.