|Subject:||option reoder of fd_labeling|
|Date:||Fri, 16 Nov 2001 14:12:59 +0100|
Apparently, the option "reorder(false)" (associated to the option "variable_method(smallest)" for example) of the predicate fd_labeling has no effect and the result is the same as the default value : "reorder(true)".
Does anyone have any idea on it ?
|[Prev in Thread]||Current Thread||[Next in Thread]|