this repo has no description
dekker.one
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, 2005
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
36namespace Gecode {
37
38 class FloatVarArgs;
39 class FloatVarArray;
40 class FloatValArgs;
41
42 /// Traits of %FloatVarArgs
43 template<>
44 class ArrayTraits<VarArgArray<FloatVar> > {
45 public:
46 typedef FloatVarArgs StorageType;
47 typedef FloatVar ValueType;
48 typedef FloatVarArgs ArgsType;
49 };
50
51 /// Traits of %FloatVarArray
52 template<>
53 class ArrayTraits<VarArray<FloatVar> > {
54 public:
55 typedef FloatVarArray StorageType;
56 typedef FloatVar ValueType;
57 typedef FloatVarArgs ArgsType;
58 };
59
60 /// Traits of %FloatValArgs
61 template<>
62 class ArrayTraits<ArgArray<FloatVal> > {
63 public:
64 typedef FloatValArgs StorageType;
65 typedef FloatVal ValueType;
66 typedef FloatValArgs ArgsType;
67 };
68
69 /// Traits of %FloatVarArray
70 template<>
71 class ArrayTraits<FloatVarArray> {
72 public:
73 typedef FloatVarArray StorageType;
74 typedef FloatVar ValueType;
75 typedef FloatVarArgs ArgsType;
76 };
77
78 /// Traits of %FloatVarArgs
79 template<>
80 class ArrayTraits<FloatVarArgs> {
81 public:
82 typedef FloatVarArgs StorageType;
83 typedef FloatVar ValueType;
84 typedef FloatVarArgs ArgsType;
85 };
86
87 /// Traits of %FloatValArgs
88 template<>
89 class ArrayTraits<FloatValArgs> {
90 public:
91 typedef FloatValArgs StorageType;
92 typedef FloatVal ValueType;
93 typedef FloatValArgs ArgsType;
94 };
95
96}
97
98// STATISTICS: float-other