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