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

/ontohub/lib/hets/provers/
H A Dimporter.rb13 def import method in class:Hets.Provers.Importer
/ontohub/lib/hets/prove/
H A Dimporter.rb27 def import method in class:Hets.Prove.Importer
/ontohub/lib/hets/dg/
H A Dimporter.rb28 # Actually performs the import of the ontology file DGXML output.
31 def import method in class:Hets.DG.Importer
H A Dnode_evaluator.rb15 register :import, :start, to: :import
192 def import(current_element) method in class:Hets.DG.NodeEvaluator
/ontohub/lib/
H A Drake_helper.rb3 def self.import(email = nil) singleton method in class:RakeHelper.LogicGraph

Completed in 8 milliseconds