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

//  /*-------------------------------------------------------------------*\
//  |   Abstract Template : Set_Intersect
//  \*-------------------------------------------------------------------*/

#ifndef AT_SET_INTERSECT
#define AT_SET_INTERSECT 1

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

#include "AT/Set/Kernel.h"

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

abstract_template <
        concrete_instance class Item
    >
class Set_Intersect :
    extends
	abstract_instance Set_Kernel <Item>
{
public:

    procedure Intersect (
	    preserves Set_Intersect <Item>& s
	) is_abstract;
    /*!
	ensures
	    self = #self intersection s
    !*/

};

#endif // AT_SET_INTERSECT