diff --git a/bindings/python/oxidd/bdd.py b/bindings/python/oxidd/bdd.py index cf2368e..eb07e5e 100644 --- a/bindings/python/oxidd/bdd.py +++ b/bindings/python/oxidd/bdd.py @@ -184,31 +184,6 @@ def __le__(self, other: Self) -> bool: def __ge__(self, other: Self) -> bool: return (self._func._p, self._func._i) >= (other._func._p, other._func._i) - def export_dddmp( - self, - filename: str, - dd_name: str, - function_name: str, - variables: list[Self], - variable_names: list[str], - as_ascii: bool, - ) -> None: - """Export the decision diagram into ``filename`` in DDDMP format""" - tmp_variable_names = [ - _ffi.new("char[]", name.encode()) for name in variable_names - ] - - _lib.oxidd_bdd_export_dddmp( - self._func, - filename.encode(), - dd_name.encode(), - function_name.encode(), - [var._func for var in variables], - tmp_variable_names, - len(variables), - as_ascii, - ) - @override def __hash__(self) -> int: return hash((self._func._p, self._func._i))