Searched refs:theorems (Results 1 - 21 of 21) sorted by relevance
| /ontohub/lib/hets/ |
| H A D | prove_options.rb | 4 # theorems-array in the prove-request.
58 prepare_sentences(:theorems)
59 options.delete(:theorems) if single_theorem_input_type?
89 if @options[:theorems]
90 @options[:theorems].size
92 @ontology.theorems.original.count
|
| /ontohub/db/seeds/ |
| H A D | 041-proving.rb | 10 theorem = ontology.theorems.find_by_name('antisymmetric')
17 theorem = ontology.theorems.find_by_name('beer < liquid')
27 theorem = ontology.theorems.find_by_name('beer < liquid')
|
| /ontohub/app/helpers/ |
| H A D | proofs_helper.rb | 16 def theorems method in class:ProofsHelper
20 resource.proof_obligation.theorems
|
| H A D | navigation_helper.rb | 60 pages << [:theorems, url_for([resource_chain.last, :theorems])]
68 if %i(axioms theorems).include?(page.first)
146 %w(classes axioms theorems proof_attempts prover_outputs).include?(controller_name)
|
| /ontohub/spec/lib/hets/ |
| H A D | prove_options_spec.rb | 16 theorems: [theorem.name],
29 theorems: [theorem],
32 let!(:theorem_names) { options[:theorems].map(&:name) }
51 it 'sets :theorems to the theorems names' do
52 expect(prove_options.options[:theorems]).to eq(theorem_names)
63 context 'with three theorems' do
65 theorems: [theorem, theorem2],
74 context 'without theorems' do
|
| /ontohub/app/controllers/ |
| H A D | proofs_controller.rb | 35 url_for([resource.proof_obligation.ontology, :theorems])
|
| /ontohub/spec/models/ontology_version/ |
| H A D | proving_spec.rb | 15 it 'have no theorems parameter' do
16 expect(prove_options.options[:theorems]).to be(nil)
|
| /ontohub/spec/factories/ |
| H A D | axiom_selection_factory.rb | 34 theorem = ontology.theorems.first
|
| /ontohub/spec/lib/ |
| H A D | proof_status_determining_spec.rb | 39 let(:theorem) { ontology.theorems.original.first }
79 let(:theorem) { ontology.theorems.original.first }
110 let(:theorem) { ontology.theorems.original.first }
138 let(:theorem) { ontology.theorems.original.first }
|
| H A D | axiom_selection_proof_status_spec.rb | 30 let(:theorem) { ontology.theorems.original.find_by_name('rightunit') }
|
| H A D | proof_spec.rb | 24 ontology.theorems << theorem2
66 let(:theorems_count) { ontology.theorems.original.count }
76 it 'proof_attempts has "#provers * #theorems" many entries' do
|
| /ontohub/app/models/ |
| H A D | ontology_version.rb | 20 has_many :theorems, through: :ontology
22 has_many :theorems, through: :ontology
|
| H A D | theorem.rb | 40 ontology: ontology, theorems: [self])
|
| /ontohub/app/models/ontology/ |
| H A D | associations_and_attributes.rb | 41 has_many :theorems,
|
| /ontohub/spec/models/ |
| H A D | ontology_spec.rb | 387 expect(version.ontology.theorems.count).to eq(1)
391 expect(version.ontology.theorems.first.provable).to be(true)
395 expect(version.ontology.theorems.first.proof_status.identifier).
422 expect(version.ontology.theorems.count).to eq(1)
426 expect(version.ontology.theorems.first.provable).to be(false)
430 expect(version.ontology.theorems.first.proof_status.identifier).
552 context 'theorems count' do
554 expect(ontology.theorems.original.count).to eq(0)
558 expect(ontology.theorems_count).to eq(ontology.theorems.original.count)
695 expect(child_with_theorem.theorems
[all...] |
| H A D | theorem_spec.rb | 21 it 'have the theorem name as theorems parameter' do
22 expect(prove_options.options[:theorems]).to eq([theorem.name])
|
| /ontohub/app/fake_records/ |
| H A D | proof.rb | 125 proof_obligation.theorems.each do |theorem|
|
| /ontohub/lib/hets/prove/ |
| H A D | prove_evaluation_helper.rb | 32 ontology.theorems.original.find_by_name(proof_info[:theorem_name])
|
| /ontohub/spec/controllers/ |
| H A D | proofs_controller_spec.rb | 50 it 'redirect to the theorems view' do
51 expect(response).to redirect_to(url_for([ontology, :theorems]))
|
| /ontohub/lib/hets/dg/ |
| H A D | node_evaluator.rb | 151 theorem = ontology.theorems.update_or_create_from_hash(
|
| /ontohub/config/ |
| H A D | routes.rb | 114 specified_get '/ref/mmt/:repository_id/*path' => 'theorems#index',
125 Currently the representation is a list of all theorems in the ontology.
165 axioms theorems
461 specified_get '/:repository_id/*locid' => 'theorems#index',
467 reroute_on_mime 'application/json', to: 'api/v1/theorems#show'
720 resources :theorems, only: :index do
|
Completed in 18 milliseconds