gecode/gecode/float/bool.cpp at master · zayenz/gecode · GitHub

47 lines (42 loc) · 1.63 KB

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

* Main authors:

* Christian Schulte <schulte@gecode.org>

* Copyright:

* Christian Schulte, 2016

* 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/bool.hh>

namespace Gecode {

void

ite(Home home, BoolVar b, FloatVar x, FloatVar y, FloatVar z) {

using namespace Float;

GECODE_POST;

GECODE_ES_FAIL(Bool::Ite<FloatView>::post(home,b,x,y,z));

}

// STATISTICS: float-post

Expand file tree