#include <adolc/storemanager.h>
#include <adolc/valuetape/tapeinfos.h>
#include <limits>
Go to the source code of this file.