#include "CCuddGetNode.h"
#include "cuddInt.h"
This file generates a new decision diagram node wrt. a given indes and two nodes.