strgy_empty.h

Go to the documentation of this file.

/********************************************************************
 *   This file is part of the source code of the realroot library.
 *   Author(s): J.P. Pavone, GALAAD, INRIA
 *   $Id: empty.h,v 1.1 2005/07/11 10:03:57 jppavone Exp $
 ********************************************************************/
#ifndef realroot_SOLVE_SBDSLV_STRGY_EMPTY_HPP
#define realroot_SOLVE_SBDSLV_STRGY_EMPTY_HPP
//--------------------------------------------------------------------
namespace mmx {
//--------------------------------------------------------------------
namespace realroot 
{
  namespace strgy
  {
    /* strategie vide ne peut être utilisée par le solveur, 
       représente la fin de l'accumulation des strategies */
    template< class solver > 
    struct empty
    { bool process( solver * ) { return true; }; };
  };
};
//--------------------------------------------------------------------
} //namespace mmx
/********************************************************************/
#endif //