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

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

#ifndef CT_SORTING_MACHINE_KERNEL_3_C
#define CT_SORTING_MACHINE_KERNEL_3_C 1

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

#include "CT/Sorting_Machine/Kernel_3.h"
#include "CT/Sorting_Machine/Kernel_C.h"

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

concrete_template <
	concrete_instance class Item,
	concrete_instance utility_class Item_Are_In_Order,
        /*!
            implements
                abstract_instance General_Are_In_Order <Item>
        !*/
	concrete_instance class Queue_Of_Item =
            Queue_Kernel_1a <Item>,
	concrete_instance class Rep =
            Representation <
		    Boolean,
		    Queue_Of_Item
		>
    >
class Sorting_Machine_Kernel_3_C :
    specializes
	Sorting_Machine_Kernel_C <
		Item,
                Item_Are_In_Order,
		Sorting_Machine_Kernel_3 <
			Item,
			Item_Are_In_Order,
			Queue_Of_Item,
			Rep
		    >
	    >
{};

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

#endif // CT_SORTING_MACHINE_KERNEL_3_C