BitVectorRepr::delete_member

Synopsis

Declared in <support/BitVectorRepr.h>

void
delete_member(unsigned int index);

Created with MrDocs