Lines Matching defs:parameters
40 type parameters =
46 model_parms : M.parameters list};
48 type 'a parmupdate = ('a -> 'a) -> parameters -> parameters;
58 fun update_size_power f (parm : parameters) : parameters =
65 fun update_literal_power f (parm : parameters) : parameters =
72 fun update_model_power f (parm : parameters) : parameters =
79 fun update_model_perts f (parm : parameters) : parameters =
86 fun update_model_checks f (parm : parameters) : parameters =
93 fun update_model_parms f (parm : parameters) : parameters =
169 fun clause_weight (parm : parameters) clsat dist cl =
192 {parm : parameters,