TypeError: __init__() missing 1 required positional argument: 'minor_graph'

[vuphan314]

Hi @hmarkus @daajoe,

I got an error with nestHDB on a simple SAT instance:

$ cat f.cnf 
p cnf 2 1
1 2 0

The error:

$ ./dpdb.py -f f.cnf sat
[INFO] dpdb: Using tree decomposition seed: 0
[INFO] dpdb: Parsing input file
[INFO] dpdb: Running htd
[INFO] dpdb: Parsing tree decomposition
Traceback (most recent call last):
  File "./dpdb.py", line 177, in <module>
    solve_problem(cfg,**vars(args))
  File "./dpdb.py", line 94, in solve_problem
    td = TreeDecomp(tdr.num_bags, tdr.tree_width, tdr.num_orig_vertices, problem.get_root(tdr.bags, tdr.adjacency_list, tdr.root), tdr.bags, tdr.adjacency_list)
TypeError: __init__() missing 1 required positional argument: 'minor_graph'

The offending line:

dp_on_dbs/dpdb.py

Line 94 in 9ca5d61

td = TreeDecomp(tdr.num_bags, tdr.tree_width, tdr.num_orig_vertices, problem.get_root(tdr.bags, tdr.adjacency_list, tdr.root), tdr.bags, tdr.adjacency_list)

The class constructor:

dp_on_dbs/dpdb/treedecomp.py

Lines 1 to 6 in 9ca5d61

	class TreeDecomp(object):
	root = None
	edges = []
	leafs = []
	def __init__(self, num_bags, tree_width, num_orig_vertices, root, bags, adj, minor_graph):

Branch: nesthdb

Thanks.

[vuphan314]

I am unsure whether the nesthdb branch in this repository or the Dropbox version is more recent for nestHDB.

I made a clone of the Dropbox version and created a different issue there:
vuphan314/nesthdb#1

[hmarkus]

the nesthdb branch is the current version. please use nesthdb.py instead of dpdb.py

[vuphan314]

Thanks. I created pull request #9 to make nesthdb easier to run.