Lines Matching defs:parameters
213 type parameters =
214 {clause : Clause.parameters,
220 {parameters : parameters,
239 {parameters,clauses,units,subsume,literals,equations,
243 {parameters = parameters, clauses = clauses, units = units,
254 val default : parameters =
259 fun empty parameters =
261 val {clause,...} = parameters
265 {parameters = parameters,
300 val Active {parameters,...} = active
301 val {clause,...} = parameters
499 {parameters,clauses,units,rewrite,subsume,literals,
509 {parameters = parameters, clauses = clauses, units = units,
518 {parameters,clauses,units,rewrite,subsume,literals,
524 {parameters = parameters, clauses = clauses, units = units,
570 val Active {parameters,literals,equations,subterms,...} = active
634 val Active {parameters,rewrite,clauses,allSubterms,...} = active
635 val {clause = {ordering,...}, ...} = parameters
734 {parameters,
752 {parameters = parameters,
794 val Active {parameters,units,rewrite,...} = active
795 val {prefactor,...} = parameters
802 val Active {parameters,units,rewrite,...} = active
803 val {postfactor,...} = parameters
871 fun new parameters {axioms,conjecture} =
873 val {clause,...} = parameters
876 Clause.mk {parameters = clause, id = Clause.newId (), thm = th}
878 val active = empty parameters