app/models/proof_status.rb

	proof_status.rb revision f7d09796be4b567de968e695a45ec5e7efcde316
0N/Aclass ProofStatus < ActiveRecord::Base
0N/A  include ProofStatus::CreationFromOntology
0N/A  include Slug
0N/A
0N/A  DEFAULT_OPEN_STATUS = 'OPN'
0N/A  DEFAULT_PROVEN_STATUS = 'THM'
0N/A  DEFAULT_DISPROVEN_STATUS = 'CSA'
0N/A  DEFAULT_DISPROVEN_ON_SUBSET = 'CSAS'
0N/A  DEFAULT_UNKNOWN_STATUS = 'UNK'
0N/A  CONTRADICTORY = 'CONTR'
0N/A
0N/A  self.primary_key = :identifier
0N/A
0N/A  attr_accessible :label,
0N/A                  :description,
0N/A                  :identifier,
0N/A                  :name,
0N/A                  :solved
1105N/A
0N/A  alias_attribute :to_s, :identifier
0N/A  alias_attribute :to_param, :identifier
0N/A  alias_attribute :solved?, :solved
0N/A
58N/A  validates_presence_of :label
0N/A
0N/A  slug_base :identifier
144N/Aend
144N/A