Cross Reference: provers_options.rb
xref: /ontohub/lib/hets/provers_options.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksamodule Hets
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa class ProversOptions < HetsOptions
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa protected
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa def prepare
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa super
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa prepare_node
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa end
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa def prepare_node
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa ontology = @options[:ontology]
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa if ontology.is_a?(Ontology)
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa @options[:node] = ontology.name if ontology.in_distributed?
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa @options.delete(:ontology)
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa end
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa end
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksa end
f733d15480f88a8e5e4ec5f7b3595fdc4d797767Eugen Kuksaend

Indexes created Tue Jul 24 14:28:13 CEST 2018