Lines Matching defs:models
28 models : modelParameters list};
36 models : Model.model list};
53 models = defaultModels};
71 (* Perturbing the models. *)
115 fun checkModels parms models (fv,cl) =
126 List.foldl check 1.0 (zip parms models)
129 fun perturbModels parms models cls =
138 app perturb (zip parms models)
160 val {symbolsWeight,variablesWeight,literalsWeight,models,...} = parm
165 val modelsW = checkModels models mods mcl
195 val Waiting {parameters,clauses,models} = waiting
196 val {models = modelParameters, ...} = parameters
210 val weight = clauseWeight parameters models dist mcl cl
217 val () = perturbModels modelParameters models mcls
219 Waiting {parameters = parameters, clauses = clauses, models = models}
245 val {models = modelParameters, ...} = parameters
247 and models = List.map (initialModel axioms conjecture) modelParameters
249 Waiting {parameters = parameters, clauses = clauses, models = models}
276 fun remove (Waiting {parameters,clauses,models}) =
286 models = models}