17e63c0e5SAndrew Rist/************************************************************** 2cdf0e10cSrcweir * 37e63c0e5SAndrew Rist * Licensed to the Apache Software Foundation (ASF) under one 47e63c0e5SAndrew Rist * or more contributor license agreements. See the NOTICE file 57e63c0e5SAndrew Rist * distributed with this work for additional information 67e63c0e5SAndrew Rist * regarding copyright ownership. The ASF licenses this file 77e63c0e5SAndrew Rist * to you under the Apache License, Version 2.0 (the 87e63c0e5SAndrew Rist * "License"); you may not use this file except in compliance 97e63c0e5SAndrew Rist * with the License. You may obtain a copy of the License at 107e63c0e5SAndrew Rist * 117e63c0e5SAndrew Rist * http://www.apache.org/licenses/LICENSE-2.0 127e63c0e5SAndrew Rist * 137e63c0e5SAndrew Rist * Unless required by applicable law or agreed to in writing, 147e63c0e5SAndrew Rist * software distributed under the License is distributed on an 157e63c0e5SAndrew Rist * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY 167e63c0e5SAndrew Rist * KIND, either express or implied. See the License for the 177e63c0e5SAndrew Rist * specific language governing permissions and limitations 187e63c0e5SAndrew Rist * under the License. 197e63c0e5SAndrew Rist * 207e63c0e5SAndrew Rist *************************************************************/ 217e63c0e5SAndrew Rist 227e63c0e5SAndrew 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) 34*b1f1da72SPedro Giffuni#define RID_PROPERTY_NONLINEARTEST (SOLVER_RESOURCE_START + 6) 35*b1f1da72SPedro Giffuni#define RID_ERROR_NONLINEAR (SOLVER_RESOURCE_START + 7) 36*b1f1da72SPedro Giffuni#define RID_ERROR_EPSILONLEVEL (SOLVER_RESOURCE_START + 8) 37*b1f1da72SPedro Giffuni#define RID_ERROR_INFEASIBLE (SOLVER_RESOURCE_START + 9) 38*b1f1da72SPedro Giffuni#define RID_ERROR_UNBOUNDED (SOLVER_RESOURCE_START + 10) 39*b1f1da72SPedro Giffuni#define RID_ERROR_TIMEOUT (SOLVER_RESOURCE_START + 11) 40cdf0e10cSrcweir 41cdf0e10cSrcweir#endif 42cdf0e10cSrcweir 43