app/models/proof_attempt.rb

	proof_attempt.rb revision aaca6ecef6de30842e9afb0bfb04a648a84abf5c
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholesclass ProofAttempt < ActiveRecord::Base
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  belongs_to :theorem, foreign_key: 'sentence_id'
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  belongs_to :proof_status
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  has_and_belongs_to_many :used_axioms,
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes    class_name: 'Sentence',
ac7985784d08a3655291f24f711812b4d8b1cbcffuankg    join_table: 'used_axioms_proof_attempts'
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  attr_accessible :prover, :prover_output, :tactic_script, :time_taken
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  validates_presence_of :theorem
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  after_save :update_theorem_status
0662ed52e814f8f08ef0e09956413a792584eddffuankg
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  def update_theorem_status
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes    theorem.update_proof_status(proof_status)
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes  end
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholesend
d3fc1a9aec53a772142e2909441b213f3ae8102abnicholes