Program Listing for File IntervalCover.h

↰ Return to documentation for file (ADS/optimization/IntervalCover.h)

/*--------------------------------------------------------------------------*/
/*-------------------------- File IntervalCover.h --------------------------*/
/*--------------------------------------------------------------------------*/
/*--------------------------------------------------------------------------*/
/*----------------------------- DEFINITIONS --------------------------------*/
/*--------------------------------------------------------------------------*/

#ifndef __ADS_IntervalCover
 #define __ADS_IntervalCover
                      /* self-identification: #endif constant */

/*--------------------------------------------------------------------------*/
/*------------------------------ INCLUDES ----------------------------------*/
/*--------------------------------------------------------------------------*/

#include "ADS/Contract.h"

#include <algorithm>
#include <cstddef>
#include <numeric>
#include <optional>
#include <utility>
#include <vector>

/*--------------------------------------------------------------------------*/
/*--------------------------- NAMESPACE ------------------------------------*/
/*--------------------------------------------------------------------------*/

namespace ADS {

template< class T >
std::optional< std::vector< std::size_t > > minimumIntervalCover(
                  const std::vector< std::pair< T , T > > & I , T lo , T hi );

/*--------------------------------------------------------------------------*/

}  // end( namespace ADS )

/*--------------------------------------------------------------------------*/
/*-------------------------- IMPLEMENTATION --------------------------------*/
/*--------------------------------------------------------------------------*/

#include "ADS/optimization/impl/IntervalCover.tpp"

/*--------------------------------------------------------------------------*/

#endif  /* IntervalCover.h included */

/*--------------------------------------------------------------------------*/
/*------------------------ End File IntervalCover.h ------------------------*/
/*--------------------------------------------------------------------------*/