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

/ontohub/lib/hets/prove/
H A Dprove_evaluator.rb13 register :add_array_value, :start, to: :add_array_value
58 def add_array_value(value) method in class:Hets.Prove.ProveEvaluator
H A Dparser.rb26 call_back(:add_array_value, :start, value)

Completed in 26 milliseconds