Generated on Sat Feb 7 2015 02:01:29 for Gecode by doxygen 1.8.9.1
ngl.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, 2013
8  *
9  * Last modified:
10  * $Date: 2013-07-04 17:03:13 +0200 (Thu, 04 Jul 2013) $ by $Author: schulte $
11  * $Revision: 13801 $
12  *
13  * This file is part of Gecode, the generic constraint
14  * development environment:
15  * http://www.gecode.org
16  *
17  * Permission is hereby granted, free of charge, to any person obtaining
18  * a copy of this software and associated documentation files (the
19  * "Software"), to deal in the Software without restriction, including
20  * without limitation the rights to use, copy, modify, merge, publish,
21  * distribute, sublicense, and/or sell copies of the Software, and to
22  * permit persons to whom the Software is furnished to do so, subject to
23  * the following conditions:
24  *
25  * The above copyright notice and this permission notice shall be
26  * included in all copies or substantial portions of the Software.
27  *
28  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
29  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
30  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
31  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
32  * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
33  * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
34  * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
35  *
36  */
37 
38 #include <gecode/set/branch.hh>
39 
40 namespace Gecode { namespace Set { namespace Branch {
41 
42  NGL*
43  IncNGL::copy(Space& home, bool share) {
44  return new (home) IncNGL(home,share,*this);
45  }
47  IncNGL::status(const Space&) const {
48  // Is n in the glb(x)?
49  if (x.contains(n))
50  return NGL::SUBSUMED;
51  else
52  // Is n not in the lub(x)?
53  return x.notContains(n) ? NGL::FAILED : NGL::NONE;
54  }
57  return me_failed(x.exclude(home,n)) ? ES_FAILED : ES_OK;
58  }
59 
60 
61  NGL*
62  ExcNGL::copy(Space& home, bool share) {
63  return new (home) ExcNGL(home,share,*this);
64  }
66  ExcNGL::status(const Space&) const {
67  // Is n not in the lub(x)?
68  if (x.notContains(n))
69  return NGL::SUBSUMED;
70  else
71  // Is n in the lub(x)?
72  return x.contains(n) ? NGL::FAILED : NGL::NONE;
73  }
76  return me_failed(x.include(home,n)) ? ES_FAILED : ES_OK;
77  }
78 
79 }}}
80 
81 // STATISTICS: set-branch
ModEvent include(Space &home, int i, int j)
Update greatest lower bound to include all elements between and including i and j.
Definition: set.hpp:130
The literal is neither failed nor subsumed.
Definition: core.hpp:980
Status
The status of a no-good literal.
Definition: core.hpp:977
Computation spaces.
Definition: core.hpp:1362
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
Definition: ngl.cpp:75
The literal is subsumed.
Definition: core.hpp:979
Execution has resulted in failure.
Definition: core.hpp:525
virtual NGL * copy(Space &home, bool share)
Create copy.
Definition: ngl.cpp:43
bool contains(int i) const
Test whether i is in the greatest lower bound.
Definition: set.hpp:78
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
Definition: ngl.cpp:66
bool notContains(int i) const
Test whether i is not in the least upper bound.
Definition: set.hpp:82
ExcNGL(Space &home, SetView x, int n)
Constructor for creation.
Definition: ngl.hpp:48
The literal is failed.
Definition: core.hpp:978
ExecStatus
Definition: core.hpp:523
Execution is okay.
Definition: core.hpp:527
ModEvent exclude(Space &home, int i, int j)
Restrict least upper bound to not contain all elements between and including i and j...
Definition: set.hpp:160
Gecode toplevel namespace
virtual NGL * copy(Space &home, bool share)
Create copy.
Definition: ngl.cpp:62
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
Definition: ngl.cpp:56
IncNGL(Space &home, SetView x, int n)
Constructor for creation.
Definition: ngl.hpp:41
bool me_failed(ModEvent me)
Check whether modification event me is failed.
Definition: modevent.hpp:58
No-good literal recorded during search.
Definition: core.hpp:971
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
Definition: ngl.cpp:47