Searched refs:normalize_timeout (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/
H A Dprove_options.rb47 normalize_timeout
78 def normalize_timeout method in class:Hets.ProveOptions

Completed in 6 milliseconds