[ General Game Player | Alphabetic Index ]

library(time_sync)

Predicates

current_time(?)
No description available
external_time_to_local(?, ?)
No description available
get_deadline(?)
No description available
local_time_to_external(?, ?)
No description available
set_deadline(?)
No description available
sync_time(?)
No description available
time_to_deadline(?)
No description available

Generated from time_sync.eci on Thu Mar 12 17:56:40 2009