add the feature of weighted ZDD