GNU-Prolog / Finite domain. How to force the order of variables to enumerate ? 
Author Message
 GNU-Prolog / Finite domain. How to force the order of variables to enumerate ?

Brest, le mercredi 21 novembre

Hi, the CLP in GNU prolog seems to have 7 different heuristics in
order to choose the order of variables to enumerate. Is it possible to
force another order (by specifying all the variables in an arbitrary
order) ?

--
QlpoOTFBWSZTWcwiz1oAAC1fgHQTwOeABVAABAT7Zp4lMAC4hET1DQNGhoBoyGaQYyaZAyaG
QZGmBGDTJE01NMTJkZDQaAUhm7W8Wu9WYGQZg2Vd+s8PsaiAZJoF5jaDsEQUaCEQHgnxdw5H
siRDfoqLyg4gHe6/TCLCgm0gY3zjVSswgknIk85qBbV7GNcqz8yWcUOcrT4SlYICcQUgKxM2
gumlEIhPgCSCC4gUHVb3pREx/vdlGkW5r2P5Z+LuSKcKEhmEWetA | mimencode + bzip2



Sun, 09 May 2004 23:03:51 GMT  
 GNU-Prolog / Finite domain. How to force the order of variables to enumerate ?

found in the documentation of GNU prolog :

**********************************************************

FD labeling options: Options is a list of labeling options. If this list
contains contradictory options, the rightmost option is the one which
applies. Possible options are:

      variable_method(V): specifies the heuristics to select the variable
to enumerate:

            standard: no heuristics, the leftmost variable is selected.

      The default value is standard.
*************************************************************

The default value is standard (when you're asking for fd_labeling(L) )

it will label the variables in the order of L

so if you want another order create a predicate changeorder(L,L2) and ask
for changeorder(L,L2), fd_labeling(L2).

Jean Michel LECONTE
http://www.lambda-systems.com

Quote:

> Brest, le mercredi 21 novembre

> Hi, the CLP in GNU prolog seems to have 7 different heuristics in
> order to choose the order of variables to enumerate. Is it possible to
> force another order (by specifying all the variables in an arbitrary
> order) ?

> --
> QlpoOTFBWSZTWcwiz1oAAC1fgHQTwOeABVAABAT7Zp4lMAC4hET1DQNGhoBoyGaQYyaZAyaG
> QZGmBGDTJE01NMTJkZDQaAUhm7W8Wu9WYGQZg2Vd+s8PsaiAZJoF5jaDsEQUaCEQHgnxdw5H
> siRDfoqLyg4gHe6/TCLCgm0gY3zjVSswgknIk85qBbV7GNcqz8yWcUOcrT4SlYICcQUgKxM2
> gumlEIhPgCSCC4gUHVb3pREx/vdlGkW5r2P5Z+LuSKcKEhmEWetA | mimencode + bzip2



Mon, 10 May 2004 05:27:06 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. seeking for Real or Finite Domains constraint solving algorithm in Prolog

2. fd variables in GNU Prolog

3. Theorem Prover on Propositions in Finite Domains

4. Constraint Satisfaction Problems (CSP) w/ non-finite domains?

5. Finite Domain Problem

6. Finite Domains and Exclusions as First-Class Citizens

7. Finite domain constraint solver for LISP?...

8. public domain prolog for apollo domain

9. Off topid: finite element vs finite volume

10. Solution to force the display of lines drawn with the order :line

11. index enumerate variable

12. forcing dictionary order

 

 
Powered by phpBB® Forum Software