Searched refs:all_end (Results 1 - 2 of 2) sorted by relevance
| /ontohub/lib/hets/prove/ | ||
| H A D | prove_evaluator.rb | 10 register :all, :end, to: :all_end 50 def all_end method in class:Hets.Prove.ProveEvaluator |
| /ontohub/lib/hets/dg/ | ||
| H A D | node_evaluator.rb | 11 register :all, :end, to: :all_end 30 def all_end method in class:Hets.DG.NodeEvaluator |
Completed in 9 milliseconds