lib/hets/provers_options.rb

	provers_options.rb revision f733d15480f88a8e5e4ec5f7b3595fdc4d797767
module Hets
  class ProversOptions < HetsOptions
    protected

    def prepare
      super
      prepare_node
    end

    def prepare_node
      ontology = @options[:ontology]
      if ontology.is_a?(Ontology)
        @options[:node] = ontology.name if ontology.in_distributed?
        @options.delete(:ontology)
      end
    end
  end
end