Re: [eclipse-clp-users] amount of shallow backtracking.

From: Kish Shen <kisshen_at_cisco.com>
Date: Tue, 12 May 2009 04:03:52 +0100
mauricio montecinos wrote:

> 
> Actually, I wanted to calculate the number of times that the algorithm
> attempts assigns a value to a variable and the constraint propagation fails,
> because the domains of non-instantiated variables are filtered and some
> domain becomes empty then a next value is tried.

You may be able to use the coverage library (described in the Tutorial 
chapter "Program Analysis") to give you some idea of the failure rate of 
a goal, and by explicitly assigning the value, you should get some idea 
of the failure rate, something like:

label(Var) :-
     my_indomain(Var, Val), % value selection
     Var = Val.

the coverage library will add counters between the goals, and difference 
between the entry and exit counters for the Var = Val goal should give 
you the number of failures of Var = Val.

Cheers,

Kish


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Tue May 12 2009 - 03:04:03 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET