Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
array.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 * Vincent Barichard <Vincent.Barichard@univ-angers.fr>
6 *
7 * Copyright:
8 * Christian Schulte, 2002
9 * Vincent Barichard, 2012
10 *
11 * This file is part of Gecode, the generic constraint
12 * development environment:
13 * http://www.gecode.org
14 *
15 * Permission is hereby granted, free of charge, to any person obtaining
16 * a copy of this software and associated documentation files (the
17 * "Software"), to deal in the Software without restriction, including
18 * without limitation the rights to use, copy, modify, merge, publish,
19 * distribute, sublicense, and/or sell copies of the Software, and to
20 * permit persons to whom the Software is furnished to do so, subject to
21 * the following conditions:
22 *
23 * The above copyright notice and this permission notice shall be
24 * included in all copies or substantial portions of the Software.
25 *
26 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
27 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
28 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
29 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
30 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
31 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
32 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
33 *
34 */
35
36#include <gecode/float.hh>
37
38namespace Gecode {
39
40 FloatValArgs
41 FloatValArgs::create(int n, FloatVal start, int inc) {
43 for (int i=0; i<n; i++, start+=inc)
44 r[i] = start;
45 return r;
46 }
47
49 : VarArray<FloatVar>(home,n) {
50 Float::Limits::check(min,"FloatVarArray::FloatVarArray");
51 Float::Limits::check(max,"FloatVarArray::FloatVarArray");
52 if (min > max)
53 throw Float::VariableEmptyDomain("FloatVarArray::FloatVarArray");
54 for (int i = size(); i--; )
55 x[i]._init(home,min,max);
56 }
57
60 Float::Limits::check(min,"FloatVarArgs::FloatVarArgs");
61 Float::Limits::check(max,"FloatVarArgs::FloatVarArgs");
62 if (min > max)
63 throw Float::VariableEmptyDomain("FloatVarArgs::FloatVarArgs");
64 for (int i = size(); i--; )
65 a[i]._init(home,min,max);
66 }
67
68}
69
70// STATISTICS: float-post
int n
Number of negative literals for node type.
Passing float arguments.
Definition float.hh:950
static FloatValArgs create(int n, FloatVal start, int inc=1)
Allocate array with n elements such that for all .
Definition array.cpp:41
Float value type.
Definition float.hh:334
FloatVarArgs(void)
Allocate empty array.
Definition array.hpp:73
FloatVarArray(void)
Default constructor (array of size 0)
Definition array.hpp:102
Float variables.
Definition float.hh:870
Exception: Variable created with empty domain
Definition exception.hpp:60
Computation spaces.
Definition core.hpp:1742
Argument array for variables.
Definition array.hpp:774
Variable arrays
Definition array.hpp:112
double FloatNum
Floating point number base type.
Definition float.hh:106
void check(const FloatVal &n, const char *l)
Check whether float n is a valid number, otherwise throw out of limits exception with information l.
Definition limits.hpp:44
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Definition set.hh:767
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .