Searched refs:Integer_Interval_Info (Results 1 – 2 of 2) sorted by relevance
44 typedef Interval_Info_Bitset<unsigned int, Integer_Interval_Info_Policy> Integer_Interval_Info; typedef49 typedef Interval<mpz_class, Integer_Interval_Info> Integer_Interval;
19684 typedef Interval_Info_Bitset<unsigned int, Integer_Interval_Info_Policy> Integer_Interval_Info;19689 typedef Interval<mpz_class, Integer_Interval_Info> Integer_Interval;