Cross Reference: proof_attempt_configuration.rb
xref
: /
ontohub
/
app
/
models
/
proof_attempt_configuration.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
proof_attempt_configuration.rb revision c4bdc37c9de27abfa1d5be18008953b32457e6c4
2
N/A
class
ProofAttemptConfiguration
<
ActiveRecord
::
Base
2
N/A
belongs_to
:
prover
2
N/A
belongs_to
:
logic_mapping
2
N/A
has_many
:
proof_attempts
2
N/A
has_and_belongs_to_many
:
axioms
,
2
N/A
class_name
:
'Axiom'
,
2
N/A
association_foreign_key
:
'sentence_id'
,
2
N/A
join_table
:
'axioms_proof_attempt_configurations'
2
N/A
has_and_belongs_to_many
:
goals
,
2
N/A
class_name
:
'Theorem'
,
2
N/A
association_foreign_key
:
'sentence_id'
,
2
N/A
join_table
:
'goals_proof_attempt_configurations'
2
N/A
# timeout in seconds
2
N/A
attr_accessible
:
timeout
2
N/A
end
2
N/A