| 1739 | |
| 1740 | template<template<class> class Engine> |
| 1741 | void |
| 1742 | FlatZincSpace::runEngine(std::ostream& out, const Printer& p, |
| 1743 | const FlatZincOptions& opt, Support::Timer& t_total) { |
| 1744 | if (opt.restart()==RM_NONE) { |
| 1745 | runMeta<Engine,Driver::EngineToMeta>(out,p,opt,t_total); |
| 1746 | } else { |
| 1747 | runMeta<Engine,RBS>(out,p,opt,t_total); |
| 1748 | } |
| 1749 | } |
| 1750 | |
| 1751 | #ifdef GECODE_HAS_CPPROFILER |
| 1752 |