Searched defs:node_end (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/prove/
H A Dprove_evaluator.rb16 register :node, :end, to: :node_end
69 def node_end method in class:Hets.Prove.ProveEvaluator

Completed in 324 milliseconds