main page namespaces classes files
CPSP home

src/cpsp/gecode/test.cc

Go to the documentation of this file.

#include <iostream>

#include "cpsp/gecode/GC_StlSetRangeIterator.hh"
#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include <set>
void test_SetIterator() {
    using namespace cpsp;
    using namespace cpsp::gecode;
    using namespace std;
    
    set<int> s;
    for (int i=0; i< 5; i++) {
        s.insert(i);
        s.insert(i+6);
        s.insert(i+10);
    }
    for(set<int>::const_iterator it= s.begin(); it!= s.end(); it++)
        std::cout <<" " <<*it;
    std::cout <<endl;
    
    GC_StlSetRangeIterator itR(&s);
    
    Gecode::IntSet is1(itR);
    std::cout <<"\n" <<is1 <<endl;
    
}


#include <vector>
#include "cpsp/HPThreadingOptions.hh"
#include "cpsp/gecode/GC_ThreadingSpace.hh"
void test_Threading(int argc, char **argv) {
    using namespace cpsp;
    using namespace gecode;
    using namespace std;

    HPThreadingOptions opts(argc,argv);
    
    HCore core(0,4);
    core.addPoint(biu::IntPoint(0,0,0));
    core.addPoint(biu::IntPoint(1,0,0));
    core.addPoint(biu::IntPoint(2,0,0));
    core.addPoint(biu::IntPoint(3,0,0));
    
        try {
            cout << "\n\nTesting Gecode" << endl;
                
            int maxSols = 99999999, sols = maxSols;
                // s = pointer auf space object
            GC_ThreadingSpace* s = new GC_ThreadingSpace(opts, core);
                // e = suchengine
            typedef Gecode::DFS<GC_ThreadingSpace> Engine;
            Engine e(   s);
            delete s;
                // suche nach loesungen
                // jeweils ein neuer space als loesung zurueckgegeben
            do {
                GC_ThreadingSpace* ex = e.next();   // naechsten holen
                if (ex == NULL) // keine weitere loesung
                    break;
                    // ausgabe
                std::cout <<opts.getLattice()->getString(
                                    opts.getLattice()->indicesToAbsMoves(
                                        ex->getSolution()))
                            <<std::endl;
                delete ex;      // aufraeumen
            } while (--sols > 0);
                // statistic daten holen
            Gecode::Search::Statistics stat = e.statistics();
                // ausgabe
            cout << endl;
            cout << "Summary" << endl
            << "\tsolutions:    " << abs(maxSols - sols) << endl
            << "\tpropagations: " << stat.propagate << endl
            << "\tfailures:     " << stat.fail << endl
            << "\tclones:       " << stat.clone << endl
            << "\tcommits:      " << stat.commit << endl
            << "\tpeak memory:  "
            << static_cast<int>((stat.memory+1023) / 1024) << " KB"
            << endl;
        } catch (Gecode::Exception e) {
            cout << "Exception in \"Gecode::" << e.location()
            << "\": " << e.info() << "." << endl
            << "Stopping..." << endl;
        }
    
    
}


#include "cpsp/gecode/GC_HPThreading.hh"
void test_threading_gecode(int argc, char**argv) {
    using namespace cpsp;
    using namespace cpsp::gecode;
    
    HPThreadingOptions opts(argc,argv);
    
    GC_HPThreading threading(&opts);
    threading.generateStructures();
}

int main(int argc, char **argv) {
//  test_SetIterator();
//  test_Threading(argc,argv);
    test_threading_gecode(argc, argv);
    return 0; 
}