def __init__(self, file=None, m=M, k=K):
#init bit vector, all zero
self.m = m
self.k = k
self.dump_proc = None
#Load Bit Victor if file exists
if file and os.path.isfile(file):
# bv = BitVector.BitVector(filename=file)
# self.bv = bv.read_bits_from_file(M)
# bv.close_file_object()
# del bv
pass
else:
self.bv = BitVector.BitVector(size=M)