Cross Reference: prover_output.rb
xref: /ontohub/app/models/prover_output.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
5a102b3c56d4ac75632c7e9244ee0ce5bdbbf13aSascha Graefclass ProverOutput < LocIdBaseModel
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa belongs_to :proof_attempt
bb67f9b02f679071ac08d174531a03f325bc5327Eugen Kuksa has_one :ontology, through: :proof_attempt
bb67f9b02f679071ac08d174531a03f325bc5327Eugen Kuksa has_one :theorem, through: :proof_attempt
bb67f9b02f679071ac08d174531a03f325bc5327Eugen Kuksa has_one :prover, through: :proof_attempt
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa attr_accessible :content, :locid
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa
5a102b3c56d4ac75632c7e9244ee0ce5bdbbf13aSascha Graef def generate_locid_string
5a102b3c56d4ac75632c7e9244ee0ce5bdbbf13aSascha Graef "#{proof_attempt.locid}//prover-output"
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksa end
4a7c98053955ca61668ed12b235ddf2fc9976142Eugen Kuksaend

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