main page
modules
namespaces
classes
files
Gecode home
Generated on Mon Jul 27 2020 00:00:00 for Gecode by
doxygen
1.8.18
gecode
search
bab.cpp
Go to the documentation of this file.
1
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
2
/*
3
* Main authors:
4
* Christian Schulte <schulte@gecode.org>
5
*
6
* Copyright:
7
* Christian Schulte, 2009
8
*
9
* This file is part of Gecode, the generic constraint
10
* development environment:
11
* http://www.gecode.org
12
*
13
* Permission is hereby granted, free of charge, to any person obtaining
14
* a copy of this software and associated documentation files (the
15
* "Software"), to deal in the Software without restriction, including
16
* without limitation the rights to use, copy, modify, merge, publish,
17
* distribute, sublicense, and/or sell copies of the Software, and to
18
* permit persons to whom the Software is furnished to do so, subject to
19
* the following conditions:
20
*
21
* The above copyright notice and this permission notice shall be
22
* included in all copies or substantial portions of the Software.
23
*
24
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
25
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
26
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
27
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
28
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
29
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
30
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
31
*
32
*/
33
34
#include <
gecode/search.hh
>
35
#include <
gecode/search/support.hh
>
36
37
#include <
gecode/search/seq/bab.hh
>
38
#ifdef GECODE_HAS_THREADS
39
#include <
gecode/search/par/bab.hh
>
40
#endif
41
42
namespace
Gecode
{
namespace
Search {
43
44
Engine*
45
babengine
(
Space
* s,
const
Options
& o) {
46
#ifdef GECODE_HAS_THREADS
47
Options
to = o.
expand
();
48
if
(to.
threads
== 1.0) {
49
if
(to.
tracer
)
50
return
new
WorkerToEngine<Seq::BAB<TraceRecorder>
>(s,to);
51
else
52
return
new
WorkerToEngine<Seq::BAB<NoTraceRecorder>
>(s,to);
53
}
else
{
54
if
(to.
tracer
)
55
return
new
Par::BAB<EdgeTraceRecorder>
(s,to);
56
else
57
return
new
Par::BAB<NoTraceRecorder>
(s,to);
58
}
59
#else
60
if
(to.
tracer
)
61
return
new
WorkerToEngine<Seq::BAB<TraceRecorder>
>(s,to);
62
else
63
return
new
WorkerToEngine<Seq::BAB<NoTraceRecorder>
>(s,to);
64
#endif
65
}
66
67
}}
68
69
// STATISTICS: search-other
bab.hh
Gecode::Search::Options
Search engine options
Definition:
search.hh:746
search.hh
Gecode::Space
Computation spaces.
Definition:
core.hpp:1742
support.hh
Gecode
Gecode toplevel namespace
Gecode::Search::WorkerToEngine
Virtualize a worker to an engine.
Definition:
support.hh:47
Gecode::Search::babengine
Engine * babengine(Space *s, const Options &o)
Create branch and bound engine.
Definition:
bab.cpp:45
Gecode::Search::Par::BAB
Parallel branch-and-bound engine
Definition:
bab.hh:43
bab.hh
Gecode::Search::Options::expand
Options expand(void) const
Expand with real number of threads.
Definition:
options.cpp:43
Gecode::Search::Options::threads
double threads
Number of threads to use.
Definition:
search.hh:751
Gecode::Search::Options::tracer
SearchTracer * tracer
Tracer object for tracing search.
Definition:
search.hh:769