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

//  /*-------------------------------------------------------------------*\
//  |   Concrete Instance : Natural_Number_1_C
//  \*-------------------------------------------------------------------*/

#ifndef CI_NATURAL_NUMBER_1_C
#define CI_NATURAL_NUMBER_1_C 1

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

#include "CT/Natural/Kernel_1_C.h"
#include "CT/Natural/Arithmetic_Plus_1_C.h"
#include "CT/Natural/IO_1_C.h"

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

concrete_instance
class Natural_Number_1_C :
    instantiates
	Natural_IO_1_C <
                Natural_Arithmetic_Plus_1_C <
			Natural_Kernel_1_C <>
		    >
	    >
{};

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

#endif // CI_NATURAL_NUMBER_1_C