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

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

#ifndef CT_SET_KERNEL_3A_C
#define CT_SET_KERNEL_3A_C 1

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

#include "CT/Set/Kernel_3a.h"
#include "CT/Partial_Map/Kernel_5.h"
#include "CT/Set/Kernel_C.h"
/*!
    #include "AT/General/Is_Equal_To.h"
    #include "AT/General/Are_In_Order.h"
!*/

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

concrete_template <
	concrete_instance class Item,
        /*!
            implements
                abstract_instance General_Is_Equal_To <Item>
        !*/
        concrete_instance utility_class Item_Are_In_Order,
        /*!
	      implements
	          abstract_instance General_Are_In_Order <Item>
        !*/
        concrete_instance class Item_Character_Partial_Map =
            Partial_Map_Kernel_5 <Item,
			          Character,
				  Item_Are_In_Order>,
	concrete_instance class Rep =
            Representation <Item_Character_Partial_Map>
    >
class Set_Kernel_3a_C :
    specializes
	Set_Kernel_C <
		Item,
		Set_Kernel_3a <
			Item,
		        Item_Are_In_Order,
                        Item_Character_Partial_Map,
			Rep
		    >
	    >
{};

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

#endif // CT_SET_KERNEL_3A_C