Lines Matching defs:parameters
47 type parameters = {prefactoring : filter, postfactoring : filter}
68 fun update_prefactoring f (parm : parameters) : parameters =
73 fun update_postfactoring f (parm : parameters) : parameters =
114 {parm : mlibClause.parameters * parameters,
537 fun is_subsumption (parm : parameters) =
540 fun ins (parm : parameters) cl (cls,set,subs) =
549 fun quality (parm : parameters) post (_,s,x) =