anchor.diff:  		   		(virtual-time-before (job-task-w-constr-virtual-time job-w-constr-before))
   		   		(duration-before (job-shop-task-duration job-task-before)))
   	      (setf (job-task-w-constr-virtual-time job-w-constr) (+ virtual-time-before duration-before)))))
  -	 (cria-problema estado-inicial operadores)))
  +	 (cria-problema estado-inicial operadores :objectivo? #'estado-objectivo)))
     
   
   (defun proxima-tarefa (estado job)
  
positive.code: 	 (objectivo? (problema-objectivo? problema))
  	 ;(estado= (problema-estado= problema))
  	 (solucao nil))
      
          (labels (#|(esta-no-caminho? (estado caminho)
                                     (member estado caminho :test estado=))|#
                   (lanca-sonda (estado)
  
negative.code:                                        (if(equal num-elem 0)
                                             nil
                                           (lanca-sonda (nth (random num-elem) sucessores))))))))
                   (loop while (null solucao) do
                     (setf solucao (lanca-sonda (problema-estado-inicial problema))))
                   (return-from sondagem-iterativa (list solucao)))))
  