Searched refs:used_theorems (Results 1 - 6 of 6) sorted by relevance
| /ontohub/app/serializers/ |
| H A D | proof_attempt_serializer.rb | 23 attributes :used_theorems
46 def used_theorems method in class:ProofAttemptSerializer
47 url_for([object, :used_theorems])
|
| /ontohub/app/controllers/api/v1/ |
| H A D | proof_attempts_controller.rb | 34 def used_theorems method in class:Api
37 render json: resource.used_theorems,
|
| /ontohub/lib/hets/prove/ |
| H A D | prove_evaluation_helper.rb | 24 used_axioms, used_theorems, generated_axioms =
27 proof_attempt.used_theorems = used_theorems
108 used_theorems = []
113 used_theorems << axiom if axiom.is_a?(Theorem)
116 [used_axioms, used_theorems, generated_axioms]
|
| /ontohub/spec/controllers/api/v1/ |
| H A D | proof_attempts_controller_spec.rb | 48 context 'on GET to used_theorems' do
51 get :used_theorems,
56 locid: url_for([proof_attempt, :used_theorems]),
|
| /ontohub/app/models/ |
| H A D | proof_attempt.rb | 19 has_and_belongs_to_many :used_theorems,
|
| /ontohub/config/ |
| H A D | routes.rb | 407 used_theorems prover_output
|
Completed in 18 milliseconds