app/models/proof_status.rb

	proof_status.rb revision e0a258a3ef5bc6317af9a81ffb33789050451469
class ProofStatus < ActiveRecord::Base
  include ProofStatus::CreationFromOntology

  self.primary_key = :identifier

  attr_accessible :label, :description, :identifier, :name, :solved

  validates_presence_of :label

  def to_s
    identifier
  end

  def to_param
    identifier
  end

  def solved?
    solved
  end
end