proof_attempt.rb revision 866c9aa341bbd88aa6747188b03f86fd324c1e43
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březinaclass ProofAttempt < ActiveRecord::Base
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina belongs_to :theorem, foreign_key: 'sentence_id'
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina belongs_to :proof_status
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina has_many :generated_axioms
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina has_and_belongs_to_many :used_axioms,
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina class_name: 'Sentence',
054900ab42a8b865a2257f94c66484e0a022a90cLukas Slebodnik join_table: 'used_axioms_proof_attempts'
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina has_and_belongs_to_many :used_theorems,
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina class_name: 'Theorem',
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina association_foreign_key: 'sentence_id',
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina join_table: 'used_axioms_proof_attempts'
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina attr_accessible :prover, :prover_output, :tactic_script, :time_taken
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina validates_presence_of :theorem
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina after_save :update_theorem_status
c3a225d4d735d3a01883125592dda7a030a64e00Jakub Hrozek
c3a225d4d735d3a01883125592dda7a030a64e00Jakub Hrozek def used_sentences
f2047f6c5b56d6759bd8e6d504f572a593476c65Pavel Březina @used_sentences ||= used_axioms + used_theorems
851d31264c826d7e1bca38bb6d49e66b446707e7Fabiano Fidêncio end
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina def update_theorem_status
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina theorem.update_proof_status(proof_status)
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina end
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březinaend
04e870d99e72aa3160bdb6ab05d986fb4005c3edPavel Březina