protected abstract BDDBitVector createBitVector(int a);
protected BDDBitVector createBitVector(int a) { return new BDDBitVector(a) { public BDDFactory getFactory() { return BDDFactory.this; } }; }
    protected abstract BDDBitVector createBitVector(int a);