You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
730 B
Plaintext
14 lines
730 B
Plaintext
(* compute each detected track priority, and sort tracks
|
|
according to their priority *)
|
|
val fun mc_tracks_prio_sorttracks(inputtrack1 : TypeTracks.tmissiontrack;
|
|
inputtrack2 : TypeTracks.tmissiontrack;
|
|
inputtrack3 : TypeTracks.tmissiontrack;
|
|
inputtrack4 : TypeTracks.tmissiontrack)
|
|
returns (outputtrack1 : TypeTracks.tmissiontrack;
|
|
outputtrack2 : TypeTracks.tmissiontrack;
|
|
outputtrack3 : TypeTracks.tmissiontrack;
|
|
outputtrack4 : TypeTracks.tmissiontrack)
|
|
|
|
val fun int_of_float(a:float) returns (o:int)
|
|
val fun float_of_int(a:int) returns (o:float)
|
|
val fun rand() returns (o : float) |