00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012 #ifndef PPL_Checked_Number_types_hh
00013 #define PPL_Checked_Number_types_hh 1
00014
00015 #include "Coefficient_traits_template.hh"
00016
00017 namespace Parma_Polyhedra_Library {
00018
00019 struct Checked_Number_Default_Policy;
00020 struct Extended_Number_Policy;
00021
00022 template <typename T, typename Policy = Checked_Number_Default_Policy>
00023 class Checked_Number;
00024
00025 }
00026
00027 #endif // !defined(PPL_Checked_Number_types_hh)