app/serializers/proof_attempt_configuration_serializer.rb

	proof_attempt_configuration_serializer.rb revision 188c002c7a85bd5dc13f0b73a72fadf1aebd3985
class ProofAttemptConfigurationSerializer < ApplicationSerializer
  class Reference < ApplicationSerializer
    attributes :iri

    def iri
      qualified_locid_for(object)
    end
  end

  attributes :iri
  attributes :number

  attributes :selected_prover
  attributes :selected_timeout
  has_one :selected_logic_mapping, serializer: LogicMappingSerializer::Reference
  attributes :selected_axioms
  attributes :selected_theorems

  def iri
    Reference.new(object).iri
  end

  def selected_logic_mapping
    object.logic_mapping
  end

  def selected_prover
    object.prover.try(:name)
  end

  def selected_timeout
    object.timeout
  end

  def selected_axioms
    qualified_locid_for(object, :selected_axioms)
  end

  def selected_theorems
    qualified_locid_for(object, :selected_theorems)
  end
end