Cross Reference: theorem.rb
xref
: /
ontohub
/
app
/
models
/
theorem.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
theorem.rb revision 6266a4c9986703cc97e36d66b7df15bcb125186d
50
N/A
class
Theorem
<
Sentence
50
N/A
DEFAULT_STATUS
=
'OPN'
50
N/A
50
N/A
has_many
:
proof_attempts
,
foreign_key
:
'sentence_id'
50
N/A
50
N/A
# Override Sentence's type: nil scope.
50
N/A
# Results in duplicate condition in the sql statement.
50
N/A
default_scope
where
(
type
: [
'Theorem'
])
50
N/A
50
N/A
before_save
:
set_default_proof_status
50
N/A
50
N/A
attr_accessible
:
proof_status
50
N/A
50
N/A
validates_inclusion_of
:
proof_status
,
in
:
ProofAttempt
::
STATUSES
50
N/A
50
N/A
def
set_default_proof_status
50
N/A
self.proof
_status
=
DEFAULT_STATUS
unless
proof_status
50
N/A
end
50
N/A
50
N/A
def
update_proof_status
(
proof_status
)
50
N/A
if
ProofAttempt.decisive
_status
?
(
proof_status
)
||
50
N/A
!
ProofAttempt.decisive
_status
?
(
self.proof
_status
)
50
N/A
self.proof
_status
=
proof_status
50
N/A
save
50
N/A
end
60
N/A
end
202
N/A
50
N/A
end
50
N/A