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

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

#ifndef CI_NATURAL_NUMBER_1
#define CI_NATURAL_NUMBER_1 1

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

#include "CT/Natural/Kernel_1.h"
#include "CT/Natural/Arithmetic_Plus_1.h"
#include "CT/Natural/IO_1.h"

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

concrete_instance
class Natural_Number_1 :
    instantiates
	Natural_IO_1 <
                Natural_Arithmetic_Plus_1 <
			Natural_Kernel_1 <>
		    >
	    >
{};

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

#endif // CI_NATURAL_NUMBER_1