
:- module(cudd, [cudd_init/2]).

:- load_foreign_files([cudd], [], init_cudd).

cudd_init(T, cudd(X,Vars)) :-
	term_variables(T,Vars),
	findall(Cudd, (numbervars(Vars,0,_),term_to_cudd(T,Cudd)), [X]).

