Searched defs:select_new_axioms (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/ | ||
| H A D | sine_axiom_selection.rb | 119 select_new_axioms(goal, 0) 123 def select_new_axioms(sentence, current_depth) method in class:SineAxiomSelection.other_finished_sine_axiom_selections 127 new_axioms.each { |axiom| select_new_axioms(axiom, current_depth + 1) } |
Completed in 8 milliseconds