nodevisitor.hpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main authors:
* Guido Tack <tack@gecode.org>
*
* Copyright:
* Guido Tack, 2006
*
* This file is part of Gecode, the generic constraint
* development environment:
* http://www.gecode.org
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files (the
* "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish,
* distribute, sublicense, and/or sell copies of the Software, and to
* permit persons to whom the Software is furnished to do so, subject to
* the following conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
*/
namespace Gecode { namespace Gist {
template<class Cursor>
forceinline
NodeVisitor<Cursor>::NodeVisitor(const Cursor& c0) : c(c0) {}
template<class Cursor>
forceinline void
NodeVisitor<Cursor>::setCursor(const Cursor& c0) { c = c0; }
template<class Cursor>
forceinline Cursor&
NodeVisitor<Cursor>::getCursor(void) { return c; }
template<class Cursor>
forceinline void
PostorderNodeVisitor<Cursor>::moveToLeaf(void) {
while (c.mayMoveDownwards()) {
c.moveDownwards();
}
}
template<class Cursor>
PostorderNodeVisitor<Cursor>::PostorderNodeVisitor(const Cursor& c0)
: NodeVisitor<Cursor>(c0) {
moveToLeaf();
}
template<class Cursor>
forceinline bool
PostorderNodeVisitor<Cursor>::next(void) {
c.processCurrentNode();
if (c.mayMoveSidewards()) {
c.moveSidewards();
moveToLeaf();
} else if (c.mayMoveUpwards()) {
c.moveUpwards();
} else {
return false;
}
return true;
}
template<class Cursor>
forceinline void
PostorderNodeVisitor<Cursor>::run(void) {
while (next()) {}
}
template<class Cursor>
forceinline bool
PreorderNodeVisitor<Cursor>::backtrack(void) {
while (! c.mayMoveSidewards() && c.mayMoveUpwards()) {
c.moveUpwards();
}
if (! c.mayMoveUpwards()) {
return false;
} else {
c.moveSidewards();
}
return true;
}
template<class Cursor>
PreorderNodeVisitor<Cursor>::PreorderNodeVisitor(const Cursor& c0)
: NodeVisitor<Cursor>(c0) {}
template<class Cursor>
forceinline bool
PreorderNodeVisitor<Cursor>::next(void) {
c.processCurrentNode();
if (c.mayMoveDownwards()) {
c.moveDownwards();
} else if (c.mayMoveSidewards()) {
c.moveSidewards();
} else {
return backtrack();
}
return true;
}
template<class Cursor>
forceinline void
PreorderNodeVisitor<Cursor>::run(void) {
while (next()) {}
}
}}
// STATISTICS: gist-any
Gecode::Gist::NodeVisitor::c
Cursor c
The cursor.
Definition nodevisitor.hh:44
Gecode::Gist::NodeVisitor::getCursor
Cursor & getCursor(void)
Return the cursor.
Definition nodevisitor.hpp:46
Gecode::Gist::NodeVisitor::NodeVisitor
NodeVisitor(const Cursor &c0)
Constructor.
Definition nodevisitor.hpp:38
Gecode::Gist::NodeVisitor::setCursor
void setCursor(const Cursor &c0)
Reset the cursor object to c0.
Definition nodevisitor.hpp:42
Gecode::Gist::PostorderNodeVisitor::PostorderNodeVisitor
PostorderNodeVisitor(const Cursor &c)
Constructor.
Definition nodevisitor.hpp:57
Gecode::Gist::PostorderNodeVisitor::next
bool next(void)
Move cursor to next node, return true if succeeded.
Definition nodevisitor.hpp:64
Gecode::Gist::PostorderNodeVisitor::run
void run(void)
Execute visitor.
Definition nodevisitor.hpp:79
Gecode::Gist::PostorderNodeVisitor::moveToLeaf
void moveToLeaf(void)
Move the cursor to the left-most leaf.
Definition nodevisitor.hpp:50
Gecode::Gist::PreorderNodeVisitor::next
bool next(void)
Move cursor to the next node, return true if succeeded.
Definition nodevisitor.hpp:103
Gecode::Gist::PreorderNodeVisitor::PreorderNodeVisitor
PreorderNodeVisitor(const Cursor &c)
Constructor.
Definition nodevisitor.hpp:98
Gecode::Gist::PreorderNodeVisitor::backtrack
bool backtrack(void)
Move cursor to next node from a leaf.
Definition nodevisitor.hpp:85
Gecode::Gist::PreorderNodeVisitor::run
void run(void)
Execute visitor.
Definition nodevisitor.hpp:117
Gecode::Gist
The Gecode Interactive Search Tool.
Gecode
Gecode toplevel namespace
forceinline
#define forceinline
Definition config.hpp:187