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

/ontohub/lib/hets/prove/
H A Dprove_evaluator.rb104 goal_info(key, value)
122 def goal_info(key, value) method in class:Hets

Completed in 21 milliseconds