Searched defs:import (Results 1 - 5 of 5) sorted by relevance
/ontohub/lib/hets/provers/ | ||
H A D | importer.rb | 13 def import method in class:Hets.Provers.Importer |
/ontohub/lib/hets/prove/ | ||
H A D | importer.rb | 27 def import method in class:Hets.Prove.Importer |
/ontohub/lib/hets/dg/ | ||
H A D | importer.rb | 28 # Actually performs the import of the ontology file DGXML output. 31 def import method in class:Hets.DG.Importer |
H A D | node_evaluator.rb | 15 register :import, :start, to: :import 192 def import(current_element) method in class:Hets.DG.NodeEvaluator |
/ontohub/lib/ | ||
H A D | rake_helper.rb | 3 def self.import(email = nil) singleton method in class:RakeHelper.LogicGraph |
Completed in 8 milliseconds