The CLP Procedure
-
Overview
-
Getting Started
-
Syntax
-
Details
-
Examples
Logic-Based Puzzles Alphabet Blocks Problem Work-Shift Scheduling Problem A Nonlinear Optimization Problem Car Painting Problem Scene Allocation Problem Car Sequencing Problem Round-Robin Problem Resource-Constrained Scheduling with Nonstandard Temporal Constraints Scheduling with Alternate Resources 10×10 Job Shop Scheduling Problem Scheduling a Major Basketball Conference Statement and Option Cross-Reference Table
- References
| Macro Variable _ORCLP_ |
The CLP procedure defines a macro variable named _ORCLP_. This variable contains a character string that indicates the status of the CLP procedure upon termination. The various terms of the macro variable are interpreted as follows.
- STATUS
-
indicates the procedure status at termination. It can take one of the following values:
- OK
The procedure terminated successfully.
- DATA_ERROR
An input data error occurred.
- IO_ERROR
A problem in reading or writing data occurred.
- MEMORY_ERROR
Insufficient memory is allocated to the procedure.
- SEMANTIC_ERROR
The use of semantic action is incorrect.
- SYNTAX_ERROR
The use of syntax is incorrect.
- ERROR
The status cannot be classified into any of the preceding categories.
If the procedure terminates normally or if an I/O error is detected while closing a data set, the following terms are added to the macro variable.
- SOLUTION_STATUS
-
indicates the solution status at termination. It can take one of the following values:
- ALL_SOLUTIONS
All solutions are found.
- INFEASIBLE
The problem is infeasible.
- OPTIMAL
The solution is optimal.
- SOLN_LIMIT_REACHED
The required number of solutions specified with the MAXSOLN= option is reached.
- TIME_LIMIT_REACHED
The execution time limit specified with the MAXTIME= option is reached.
- RESTART_LIMIT_REACHED
The number of restarts specified with RESTARTS= option is reached.
- ABORT
The procedure is stopped by user before any other stop criterion is reached.
- SOLUTIONS_FOUND
indicates the number of solutions that are found. This term is not applicable if SOLUTION_STATUS has a value of INFEASIBLE.
- MIN_MAKESPAN
indicates the minimal makespan of the solutions that are found. The makespan is the maximum of the activity finish times or the completion time of the last job to leave the system. This term is applicable only to scheduling problems with at least one solution.
- SOLUTION_TIME
indicates the time taken to solve the problem. By default, the time reported is CPU time; see the TIMETYPE= option for more information.
- VARSELTYPE
indicates the fastest variable selection strategy. This term appears only when the EVALVARSEL= option is active and at least one solution is found.
- ACTSELTYPE
indicates the fastest activity selection strategy. This term appears only when the EVALACTSEL= option is active and at least one solution is found.
- OBJECTIVE
indicates the objective value. This term appears only when an objective function is specified and at least one solution is found.