Searched refs:ProveCaller (Results 1 - 2 of 2) sorted by relevance
| /ontohub/lib/hets/ | ||
| H A D | prove_caller.rb | 2 class ProveCaller < ActionCaller class in class:Hets |
| /ontohub/lib/ | ||
| H A D | hets.rb | 33 prove_caller = Hets::ProveCaller.new(hets_instance, prove_options) |
Completed in 12 milliseconds