app/models/proof_status.rb

	proof_status.rb revision e200ddd4b78a4915a072095be2a2e6cac65ed333
class ProofStatus < ActiveRecord::Base
  self.primary_key = :identifier

  attr_accessible :description, :identifier, :name, :category

  def to_s
    identifier
  end

  def to_param
    identifier
  end

  def decisive?
    %w(solved deductive preserving).include?(category)
  end
end