12 using namespace flopc;
static MP_set & getEmpty()
gets the distinct 'empty' MP_set.
All flopc++ code is contained within the flopc namespace.
Representation of a set for indexing into some other construct.This is one of the main public interfa...