188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksaclass ProofAttemptConfigurationSerializer < ApplicationSerializer
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa class Reference < ApplicationSerializer
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa attributes :iri
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa def iri
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa url_for([object.proof_attempt, :'proof-attempt-configuration'])
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa attributes :iri
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa attributes :number
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa attributes :selected_prover
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa attributes :selected_timeout
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa has_one :selected_logic_mapping, serializer: LogicMappingSerializer::Reference
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa attributes :selected_axioms
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa attributes :selected_theorems
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa def iri
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa Reference.new(object).iri
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa def number
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa object.proof_attempt.number
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa end
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa def selected_logic_mapping
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa object.logic_mapping
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa def selected_prover
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa object.prover.try(:name)
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa def selected_timeout
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa object.timeout
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa def selected_axioms
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa url_for([object.proof_attempt,
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa :'proof-attempt-configuration', :selected_axioms])
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa def selected_theorems
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa url_for([object.proof_attempt,
d327eb79653cf7820fe583473ab35816d44cd757Eugen Kuksa :'proof-attempt-configuration', :selected_theorems])
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksa end
188c002c7a85bd5dc13f0b73a72fadf1aebd3985Eugen Kuksaend