1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
/*++ Copyright (c) 2012 Microsoft Corporation Module Name: interval_mpq.cpp Abstract: Instantiate template using defaults. Author: Leonardo de Moura (leonardo) 2012-10-31. Revision History: --*/ #include "math/interval/interval_def.h" template class interval_manager<im_default_config>;