Skip to content

Commit

Permalink
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python
Browse files Browse the repository at this point in the history
  • Loading branch information
nhusung committed Oct 14, 2024
1 parent 1755c87 commit 77661bb
Showing 1 changed file with 0 additions and 25 deletions.
25 changes: 0 additions & 25 deletions bindings/python/oxidd/bdd.py
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand Down

0 comments on commit 77661bb

Please sign in to comment.