Cross Reference: proof_attempt.rb
xref: /ontohub/app/models/proof_attempt.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
proof_attempt.rb revision e200ddd4b78a4915a072095be2a2e6cac65ed333
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainenclass ProofAttempt < ActiveRecord::Base
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen belongs_to :theorem, foreign_key: 'sentence_id'
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen belongs_to :proof_status
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen attr_accessible :prover, :prover_output, :tactic_script, :time_taken
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen validates_presence_of :theorem
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen after_save :update_theorem_status
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen def update_theorem_status
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen theorem.update_proof_status(proof_status)
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen end
f16c114c20bbd7d292d93415d1e56c8dd6abd3e7Timo Sirainenend
f16c114c20bbd7d292d93415d1e56c8dd6abd3e7Timo Sirainen

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