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

/ontohub/lib/
H A Dparsing_callback.rb4 self.constants.each do |constant|
5 moddule = self.const_get(constant)
/ontohub/lib/hets/prove/
H A Dparser.rb32 hierarchy == constant(const_name)
39 def constant(const_name) method in class:Hets.Prove.Parser

Completed in 503 milliseconds