Searched defs:all_start (Results 1 - 2 of 2) sorted by relevance
| /ontohub/lib/hets/prove/ | ||
| H A D | prove_evaluator.rb | 9 register :all, :start, to: :all_start 46 def all_start method in class:Hets.Prove.ProveEvaluator |
| /ontohub/lib/hets/dg/ | ||
| H A D | node_evaluator.rb | 10 register :all, :start, to: :all_start 26 def all_start method in class:Hets.DG.NodeEvaluator |
Completed in 8 milliseconds