Searched defs:theorem (Results 1 - 5 of 5) sorted by relevance
| /ontohub/app/controllers/ |
| H A D | prover_outputs_controller.rb | 5 helper_method :ontology, :theorem, :proof_attempt
14 def theorem method in class:ProverOutputsController
15 @theorem ||= Theorem.find(params[:theorem_id])
|
| H A D | proof_attempts_controller.rb | 2 belongs_to :theorem
4 helper_method :ontology, :theorem
15 def theorem method in class:ProofAttemptsController
16 @theorem ||= Theorem.find(params[:theorem_id])
|
| /ontohub/lib/parsing_callback/ |
| H A D | generic_callback.rb | 25 def theorem(_hash, _theorem) method in class:ParsingCallback.GenericCallback
|
| /ontohub/lib/hets/dg/ |
| H A D | node_evaluator.rb | 19 register :theorem, :end, to: :theorem
96 type2: 'theorem')
119 type2: 'theorem')
143 type2: 'theorem')
149 def theorem(current_element) method in class:Hets.DG.NodeEvaluator
151 theorem = ontology.theorems.update_or_create_from_hash(
156 logic_callback.theorem(current_element, theorem)
164 class: 'theorem',
[all...] |
| /ontohub/app/fake_records/ |
| H A D | proof.rb | 77 def theorem?
122 if theorem?
125 proof_obligation.theorems.each do |theorem|
126 initialize_proof_attempts_for_theorem(opts, theorem)
131 def initialize_proof_attempts_for_theorem(opts, theorem)
139 proof_attempt.theorem = theorem
|
Completed in 9 milliseconds