Searched refs:selected_axioms (Results 1 - 5 of 5) sorted by relevance

/ontohub/app/serializers/
H A Dproof_attempt_configuration_serializer.rb16 attributes :selected_axioms
39 def selected_axioms method in class:ProofAttemptConfigurationSerializer
41 :'proof-attempt-configuration', :selected_axioms])
/ontohub/app/controllers/api/v1/
H A Dproof_attempt_configurations_controller.rb17 def selected_axioms method in class:Api
/ontohub/app/models/
H A Dsine_axiom_selection.rb118 @selected_axioms = triggered_axioms_by_commonness_threshold.to_a
120 self.axioms = @selected_axioms.uniq
125 new_axioms = select_axioms_by_sentence(sentence) - @selected_axioms
126 @selected_axioms += new_axioms
/ontohub/spec/controllers/api/v1/
H A Dproof_attempt_configurations_controller_spec.rb9 context 'on GET to selected_axioms' do
12 get :selected_axioms,
17 :'proof-attempt-configuration', :selected_axioms]),
/ontohub/config/
H A Droutes.rb477 %i(selected_axioms selected_theorems)

Completed in 22 milliseconds