Resolve/C++ Catalog
CT/Natural/Kernel_1_C.h
Copyright © 2010, Reusable Software Research Group, The Ohio State University

//  /*-------------------------------------------------------------------*\
//  |   Concrete Template : Natural_Kernel_1_C
//  \*-------------------------------------------------------------------*/

#ifndef CT_NATURAL_KERNEL_1_C
#define CT_NATURAL_KERNEL_1_C 1

///---------------------------------------------------------------------
/// Global Context -----------------------------------------------------
///---------------------------------------------------------------------

#include "CT/Natural/Kernel_1.h"
#include "CT/Natural/Kernel_C.h"

///---------------------------------------------------------------------
/// Interface ----------------------------------------------------------
///---------------------------------------------------------------------

concrete_template <
	concrete_instance class Sequence_Of_Digits =
            Sequence_Kernel_1a <Integer>,
	concrete_instance class Rep =
            Representation <Sequence_Of_Digits>
    >
class Natural_Kernel_1_C :
    instantiates
	Natural_Kernel_C <
                Natural_Kernel_1 <
                        Sequence_Of_Digits,
                        Rep
                    >
            >
{};

//----------------------------------------------------------------------

#endif // CT_NATURAL_KERNEL_1_C