Searched refs:axiom_selection (Results 1 - 18 of 18) sorted by relevance
| /ontohub/app/models/ |
| H A D | manual_axiom_selection.rb | 2 acts_as :axiom_selection
|
| H A D | sine_symbol_commonness.rb | 3 belongs_to :axiom_selection
|
| H A D | sine_symbol_axiom_trigger.rb | 4 belongs_to :axiom_selection
|
| H A D | proof_attempt_configuration.rb | 4 belongs_to :axiom_selection
12 has_many :axioms, through: :axiom_selection
24 options[:axioms] = axiom_selection.axioms if axiom_selection.axioms.any?
|
| H A D | sine_axiom_selection.rb | 10 acts_as :axiom_selection
25 delegate :goal, :ontology, :lock_key, :mark_as_finished!, to: :axiom_selection
40 # `axiom_selection` association is polymorphic.
42 SineSymbolCommonness.where(axiom_selection_id: axiom_selection)
46 # `axiom_selection` association is polymorphic.
48 SineSymbolAxiomTrigger.where(axiom_selection_id: axiom_selection)
110 goal.proof_attempts.includes(:axiom_selection).map(&:axiom_selection).
113 as.id != axiom_selection.id
|
| H A D | proof_attempt.rb | 11 has_one :axiom_selection, through: :proof_attempt_configuration
68 selected = proof_attempt_configuration.axiom_selection.axioms
|
| /ontohub/spec/factories/ |
| H A D | proof_attempt_configuration_factory.rb | 9 unless pac.axiom_selection
10 pac.axiom_selection = create :axiom_selection,
|
| H A D | axiom_selection_factory.rb | 2 factory :axiom_selection do
38 proof_attempt_configuration.axiom_selection = sas.axiom_selection
39 sas.axiom_selection.proof_attempt_configurations = [proof_attempt_configuration]
|
| /ontohub/spec/models/ |
| H A D | axiom_selection_spec.rb | 6 let(:axiom_selection) { pac.axiom_selection }
7 subject { axiom_selection }
|
| H A D | proof_attempt_configuration_spec.rb | 7 it { should belong_to(:axiom_selection) }
23 subject.axiom_selection.axioms = []
45 it 'with axiom_selection set' do
47 subject.axiom_selection.axioms = [Axiom.first]
|
| H A D | sine_axiom_selection_spec.rb | 115 subject.axiom_selection.proof_attempt_configurations.first.proof_attempt
121 pac.axiom_selection = subject.axiom_selection
122 sine_axiom_selection_previous.axiom_selection.
|
| /ontohub/spec/lib/ |
| H A D | axiom_selection_proof_status_spec.rb | 39 let(:axiom_selection) { create :manual_axiom_selection, axioms: axioms }
45 pac.axiom_selection = axiom_selection.axiom_selection
62 let(:axiom_selection) { create :manual_axiom_selection, axioms: [] }
68 pac.axiom_selection = axiom_selection.axiom_selection
85 let(:axiom_selection) do
93 pac.axiom_selection
[all...] |
| H A D | proof_status_determining_spec.rb | 31 let(:axiom_selection) { create :manual_axiom_selection, axioms: [] }
45 pac.axiom_selection = axiom_selection.axiom_selection
85 pac.axiom_selection = axiom_selection.axiom_selection
116 pac.axiom_selection = axiom_selection.axiom_selection
[all...] |
| H A D | proof_spec.rb | 94 expect(proof_modified.axiom_selection.specific.class).
99 expect(proof_modified.axiom_selection.axioms).
192 expect(proof_modified.axiom_selection.specific.class).
209 expect(proof_modified.axiom_selection.specific.class).
215 expect(proof_modified.axiom_selection.axioms).
|
| /ontohub/db/migrate/ |
| H A D | 20150715081880_create_sine_symbol_commonnesses.rb | 4 t.references :axiom_selection
|
| H A D | 20150715081870_create_sine_symbol_axiom_triggers.rb | 4 t.references :axiom_selection
|
| /ontohub/app/fake_records/ |
| H A D | proof.rb | 73 def axiom_selection method in class:Proof
74 specific_axiom_selection.try(:axiom_selection)
136 pac.axiom_selection = axiom_selection
|
| /ontohub/lib/ |
| H A D | proof_execution.rb | 20 proof_attempt_configuration.axiom_selection.specific.call
|
Completed in 42 milliseconds