Searched refs:eps_manager (Results 1 – 6 of 6) sorted by relevance
49 typedef typename Ext::eps_manager eps_manager; typedef51 typedef _scoped_numeral<eps_manager> scoped_eps_numeral;52 typedef _scoped_numeral_vector<eps_manager> scoped_eps_numeral_vector;96 mutable eps_manager em;
262 typedef unsynch_mpq_inf_manager eps_manager; typedef270 typedef unsynch_mpq_inf_manager eps_manager; typedef
45 typedef unsynch_mpq_inf_manager eps_manager; typedef46 typedef _scoped_numeral<eps_manager> scoped_eps_numeral;