proofs_helper.rb revision ef12070bdf3f2c5462d76e408f68e17d0d926535
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen chain << resource.proof_obligation if resource.theorem?
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen chain << :proofs
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen t("proofs.new.klass.#{resource.proof_obligation.class.to_s.underscore}")
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen def checked_axiom_selection_method
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen resource.axiom_selection_method || AxiomSelection::METHODS.first
f16c114c20bbd7d292d93415d1e56c8dd6abd3e7Timo Sirainen def sine_value(field, default_value)
f16c114c20bbd7d292d93415d1e56c8dd6abd3e7Timo Sirainen resource.specific_axiom_selection.try(field) || default_value