app/models/theorem.rb

	theorem.rb revision 8b67131fb21c0bcbedfe6fecda6a642a2e7d8bfa
class Theorem < Sentence
  include StateUpdater

  DEFAULT_STATUS = ProofStatus::DEFAULT_OPEN_STATUS

  has_many :proof_attempts, foreign_key: 'sentence_id', dependent: :destroy
  belongs_to :proof_status

  attr_accessible :state, :state_updated_at, :last_error

  validates :state, inclusion: {in: State::STATES}

  before_validation :set_default_state
  before_save :set_default_proof_status

  def set_default_state
    self.state ||= 'pending'
  end

  def set_default_proof_status
    self.proof_status = ProofStatus.find(DEFAULT_STATUS) unless proof_status
  end

  def update_proof_status(proof_status)
    if proof_status.solved? || !self.proof_status.solved?
      self.proof_status = proof_status
      save!
    end
  end

  def prove_options
    Hets::ProveOptions.new(:'url-catalog' => ontology.repository.url_maps,
                           ontology: ontology,
                           theorems: [self])
  end
end