gecode/gecode/float/exec.cpp at master · slavaandrejev/gecode · GitHub

History

53 lines (47 loc) · 1.81 KB

Raw

/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */

* Main authors:

* Christian Schulte <schulte@gecode.org>

* Copyright:

* Christian Schulte, 2012

* 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.

#include <gecode/float.hh>

namespace Gecode {

void

wait(Home home, FloatVar x, std::function<void(Space& home)> c) {

GECODE_POST;

GECODE_ES_FAIL(UnaryWait<Float::FloatView>::post(home,x,c));

}

void

wait(Home home, const FloatVarArgs& x, std::function<void(Space& home)> c) {

GECODE_POST;

ViewArray<Float::FloatView> xv(home,x);

GECODE_ES_FAIL(NaryWait<Float::FloatView>::post(home,xv,c));

}

// STATISTICS: float-post

gecode/gecode/float/exec.cpp at master · slavaandrejev/gecode · GitHub

Expand file tree

Breadcrumbs

exec.cpp

Latest commit

History

Breadcrumbs

exec.cpp

File metadata and controls