xref: /trunk/main/sccomp/source/solver/solver.hrc (revision b1f1da72)
1/**************************************************************
2 *
3 * Licensed to the Apache Software Foundation (ASF) under one
4 * or more contributor license agreements.  See the NOTICE file
5 * distributed with this work for additional information
6 * regarding copyright ownership.  The ASF licenses this file
7 * to you under the Apache License, Version 2.0 (the
8 * "License"); you may not use this file except in compliance
9 * with the License.  You may obtain a copy of the License at
10 *
11 *   http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing,
14 * software distributed under the License is distributed on an
15 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
16 * KIND, either express or implied.  See the License for the
17 * specific language governing permissions and limitations
18 * under the License.
19 *
20 *************************************************************/
21
22
23#ifndef SOLVER_HRC
24#define SOLVER_HRC
25
26#define SOLVER_RESOURCE_START       1000
27
28#define RID_SOLVER_COMPONENT        (SOLVER_RESOURCE_START)
29#define RID_PROPERTY_NONNEGATIVE    (SOLVER_RESOURCE_START + 1)
30#define RID_PROPERTY_INTEGER        (SOLVER_RESOURCE_START + 2)
31#define RID_PROPERTY_TIMEOUT        (SOLVER_RESOURCE_START + 3)
32#define RID_PROPERTY_EPSILONLEVEL   (SOLVER_RESOURCE_START + 4)
33#define RID_PROPERTY_LIMITBBDEPTH   (SOLVER_RESOURCE_START + 5)
34#define RID_PROPERTY_NONLINEARTEST  (SOLVER_RESOURCE_START + 6)
35#define RID_ERROR_NONLINEAR         (SOLVER_RESOURCE_START + 7)
36#define RID_ERROR_EPSILONLEVEL      (SOLVER_RESOURCE_START + 8)
37#define RID_ERROR_INFEASIBLE        (SOLVER_RESOURCE_START + 9)
38#define RID_ERROR_UNBOUNDED         (SOLVER_RESOURCE_START + 10)
39#define RID_ERROR_TIMEOUT           (SOLVER_RESOURCE_START + 11)
40
41#endif
42
43