"""
if renumber:
self.renumber()
- return {"cnf": [x.to_cnfvar_dict() for x in self]}
+ return {"cnf": [x.to_cnf_structure() for x in self]}
def to_cnf_file(self, path, renumber=True, encoding=ENCODING):
"""
class CnfSerializationMixin(BaseCnf):
"""Add serialization support to BaseCnf."""
- def to_cnfvar_dict(self):
+ def to_cnf_structure(self):
"""
Convert this instance to dictionary from the :py:mod:`cnfvar` module.
if self.comment is not None:
d["comment"] = self.comment
if len(self.children) > 0:
- d["children"] = [c.to_cnfvar_dict() for c in self.children]
+ d["children"] = [c.to_cnf_structure() for c in self.children]
return d
def to_json_string(self, renumber=True):