[Javabdd-devel] JavaBDD : BDDPairing

[<jea...@ce...>]

Hello,
can I get some example code with the use of the BDDPairing class with 
the method veccompose of the BDD class.
(the API doc mentions BDDPairing as an abstract class and veccompose as 
an abstract method : do I need to implement them
to use them ? )

Yours faithfully

JF Molderez