Searched refs:used_axioms (Results 1 - 7 of 7) sorted by relevance
| /ontohub/app/serializers/ |
| H A D | proof_attempt_serializer.rb | 22 attributes :used_axioms
38 def used_axioms method in class:ProofAttemptSerializer
39 url_for([object, :used_axioms])
|
| /ontohub/app/controllers/api/v1/ |
| H A D | proof_attempts_controller.rb | 16 def used_axioms method in class:Api
19 render json: resource.used_axioms,
|
| /ontohub/lib/hets/prove/ |
| H A D | prove_evaluation_helper.rb | 24 used_axioms, used_theorems, generated_axioms =
26 proof_attempt.used_axioms = used_axioms
99 if proof_info[:used_axioms] && proof_attempt.theorem
107 used_axioms = []
110 proof_info[:used_axioms].each do |axiom_name|
112 used_axioms << axiom if axiom.is_a?(Axiom)
116 [used_axioms, used_theorems, generated_axioms]
|
| H A D | prove_evaluator.rb | 38 register :used_axioms, :start, to: :used_axioms_start
39 register :used_axioms, :end, to: :used_axioms_end
89 used_axioms).each do |hook|
115 when :used_axioms
116 {:used_axioms => nil}
|
| /ontohub/spec/controllers/api/v1/ |
| H A D | proof_attempts_controller_spec.rb | 28 context 'on GET to used_axioms' do
31 get :used_axioms,
36 locid: url_for([proof_attempt, :used_axioms]),
|
| /ontohub/app/models/ |
| H A D | proof_attempt.rb | 15 has_and_belongs_to_many :used_axioms,
|
| /ontohub/config/ |
| H A D | routes.rb | 406 used_axioms generated_axioms
|
Completed in 11 milliseconds