;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
; This file is part of ICCLE2.
;
; ICCLE2 is free software: you can redistribute it and/or modify
; it under the terms of the GNU General Public License as published by
; the Free Software Foundation, either version 3 of the License, or
; (at your option) any later version.
;
; ICCLE2 is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
; GNU General Public License for more details.
;
; You should have received a copy of the GNU General Public License
; along with ICCLE2.  If not, see <http://www.gnu.org/licenses/>.
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;


(defstruct globdef
  (num_trials 1000)
  (min_value 30)
  (max_value 500)
  (min_cost 1)
  (max_cost 100)
  (rank_tol .1)
  (num_reqs 25)
  (num_iters 6)
  (req_value_sigma .15)
  (ave_new_req_per_iter 1.4)
  (ave_unimpl_req_per_iter_multi .2)
  ave_unimpl_req_per_iter
  (initial_bound_lower .3)
  (initial_bound_upper .7)
  (min_iters_div 4)
  min_iters
  end_dev_prob
)

(setf gv (make-globdef))

(setf (globdef-ave_unimpl_req_per_iter gv) (* (globdef-ave_unimpl_req_per_iter_multi gv) (globdef-num_reqs gv))
      (globdef-min_iters gv) (/ (globdef-num_iters gv) (globdef-min_iters_div gv))
      (globdef-end_dev_prob gv) (/ 1 (expt (globdef-num_iters gv) .3333)))


(defstruct req
  (req_value nil)
  (req_cost nil)
  (req_future_values nil)
  (req_satisfied nil)
  (req_satisfied_in_iter nil)
  (req_active nil)
  (req_activate_at_iter nil)
  )