public BDD restrict ( final Collection < Literal > restriction ) { final BDD resBDD = this . factory . build ( this . factory . getF ( ) . and ( restriction ) ) ; return new BDD ( this . factory . underlyingKernel ( ) . restrict ( index ( ) , resBDD . index ( ) ) , this . factory ) ; }
Restricts the BDD .