e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksaclass ProofStatus < ActiveRecord::Base
e0a258a3ef5bc6317af9a81ffb33789050451469Eugen Kuksa include ProofStatus::CreationFromOntology
f7d09796be4b567de968e695a45ec5e7efcde316Eugen Kuksa include Slug
12c59b7f5e3256428dd869f3b2d945ba22daca08Eugen Kuksa
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa DEFAULT_OPEN_STATUS = 'OPN'
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa DEFAULT_PROVEN_STATUS = 'THM'
6264bb5669941e2f662e6431d13965989c97dbdeEugen Kuksa DEFAULT_DISPROVEN_STATUS = 'CSA'
826cc3b7365c94d05c44118c603d7a36c1974eeeEugen Kuksa DEFAULT_DISPROVEN_ON_SUBSET = 'CSAS'
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa DEFAULT_UNKNOWN_STATUS = 'UNK'
826cc3b7365c94d05c44118c603d7a36c1974eeeEugen Kuksa CONTRADICTORY = 'CONTR'
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa self.primary_key = :identifier
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa attr_accessible :label,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :description,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :identifier,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :name,
f7d09796be4b567de968e695a45ec5e7efcde316Eugen Kuksa :solved
63f9ea6c6ef0939175d71d4b63889887de7ecb90Eugen Kuksa
3012f2f26fa865376639018283dec8ada44e0704Eugen Kuksa alias_attribute :to_s, :identifier
3012f2f26fa865376639018283dec8ada44e0704Eugen Kuksa alias_attribute :to_param, :identifier
3012f2f26fa865376639018283dec8ada44e0704Eugen Kuksa alias_attribute :solved?, :solved
3012f2f26fa865376639018283dec8ada44e0704Eugen Kuksa
63f9ea6c6ef0939175d71d4b63889887de7ecb90Eugen Kuksa validates_presence_of :label
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa
f7d09796be4b567de968e695a45ec5e7efcde316Eugen Kuksa slug_base :identifier
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksaend