Lines Matching defs:distance
189 type distance = real;
194 distance : real I.intmap,
198 let val SOS {parm = p, clauses = _, distance = d, models = m} = sos
199 in SOS {parm = p, clauses = c, distance = d, models = m}
203 let val SOS {parm = p, clauses = c, distance = _, models = m} = sos
204 in SOS {parm = p, clauses = c, distance = d, models = m}
208 let val SOS {parm = p, clauses = c, distance = d, models = _} = sos
209 in SOS {parm = p, clauses = c, distance = d, models = m}
254 SOS {parm = parm, clauses = empty_heap, distance = I.empty (),
268 val SOS {parm,clauses,distance,models,...} = sos
272 case I.peek (distance, id) of NONE => dist | SOME d => Real.min (dist,d)
273 val distance = I.insert (distance,id,dist)
277 val sos = update_distance distance sos