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

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

#ifndef CI_INTEGER_ARE_IN_ORDER_2
#define CI_INTEGER_ARE_IN_ORDER_2 1

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

#include "AT/General/Are_In_Order.h"

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

concrete_instance
utility_class Integer_Are_In_Order_2 :
    implements
	abstract_instance General_Are_In_Order <Integer>
{
public:

    /*!
	math definition ARE_IN_ORDER (
		x: Integer,
		y: Integer
	    ): boolean is
	    x >= y
    !*/

    utility_function_body Boolean Are_In_Order (
	    preserves Integer& x,
	    preserves Integer& y
	)
    {
	return (x >= y);
    }

};

#endif // CI_INTEGER_ARE_IN_ORDER_2