cp_get_linrelax

Purpose

Returns an automatic relaxation of the cp problem

Synopsis

function cp_get_linrelax(orientation: integer) : cplinrelax

function cp_get_linrelax(orientation: integer,constraints: set of integer) : cplinrelax

Arguments

orientation	0 for an 'LP oriented' relaxation (convex hull) and 1 for a 'MIP oriented' relaxation (can be an exact representation of the underlying CP problem)
constraints	the set of constraints types to relax ( KALIS_LINEAR_CONSTRAINTS, KALIS_LOGICAL_CONSTRAINTS, KALIS_DISTANCE_CONSTRAINTS, KALIS_NON_LINEAR_CONSTRAINTS, KALIS_ALL_CONSTRAINTS)

Return value

A linear relaxation

Example

The following example shows how to obtain a 'MIP oriented' relaxation by relaxing only the linear part of the problem and the logical constraints.

relax := cp_get_linrelax(1,{KALIS_LINEAR_CONSTRAINTS,
                            KALIS_LOGICAL_CONSTRAINTS})