Cross Reference: prover_output.rb
xref: /ontohub/app/models/prover_output.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
prover_output.rb revision 4a7c98053955ca61668ed12b235ddf2fc9976142
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksaclass ProverOutput < ActiveRecord::Base
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa belongs_to :proof_attempt
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa attr_accessible :content, :locid
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa before_create :generate_locid
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa delegate :ontology, :theorem, :prover, to: :proof_attempt
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa protected
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa def self.find_with_locid(locid, _iri = nil)
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa where(locid: locid).first
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa end
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa def generate_locid
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa self.locid = "#{proof_attempt.locid}//prover-output"
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa end
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksaend

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