A uniform framework for weighted decision diagrams and its implementation