main page modules namespaces classes files
Gecode home

search for 

support.hh

Go to the documentation of this file.

/*
 *  Main authors:
 *     Christian Schulte <schulte@gecode.org>
 *
 *  Copyright:
 *     Christian Schulte, 2004
 *
 *  Last modified:
 *     $Date: 2006-08-04 16:06:52 +0200 (Fri, 04 Aug 2006) $ by $Author: schulte $
 *     $Revision: 3517 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

#ifndef __GECODE_EXAMPLES_SUPPORT_HH__
#define __GECODE_EXAMPLES_SUPPORT_HH__

#include <iostream>
#include <iomanip>

#include <cstdlib>
#include <cstring>

#include "gecode/kernel.hh"
#include "gecode/int.hh"
#include "gecode/search.hh"

#include "examples/timer.hh"

/*
 * Options for running the examples
 *
 */

using namespace Gecode;

enum ExampleMode {
  EM_SOLUTION, 
  EM_TIME,     
  EM_STAT      
};

class Options {
public:
  IntConLevel  icl;        
  unsigned int c_d;        
  unsigned int a_d;        
  ExampleMode  mode;       
  bool         quiet;      
  unsigned int samples;    
  unsigned int iterations; 
  unsigned int solutions;  
  int          fails;      
  int          time;       
  bool         naive;      
  unsigned int size;       
  const char*  name;       

  Options(const char* s);
  void parse(int argc, char** argv);
};


class Example : public Space {
public:
  Example(void) {}
  Example(bool share, Example& e) : Space(share,e) {}
  virtual void print(void) {}
  template <class Script, template<class> class Engine>
  static void run(const Options&);
private:
  explicit Example(Example& e);
};

#include "examples/support.icc"

#endif

// STATISTICS: example-any