* implementazione del comando SELECT
*)
let select_ex avar alist abool =
- let wrt = replace avar "retVal" abool in
- (*let j = print_booltree wrt in*)
- [List.hd alist]
- @
- List.find_all
- (fun l -> is_good (List.combine (List.hd alist) l) wrt)
- (List.tl alist)
+ let _ = print_string ("SELECT ")
+ and t = Unix.time () in
+ let result =
+ let wrt = replace avar "retVal" abool in
+ (*let j = print_booltree wrt in*)
+ [List.hd alist]
+ @
+ List.find_all
+ (fun l -> is_good (List.combine (List.hd alist) l) wrt)
+ (List.tl alist)
+ in
+ let _ = print_endline (string_of_float (Unix.time () -. t)); flush stdout in
+ result
;;