Searched defs:triggered_axioms (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/ | ||
| H A D | sine_axiom_selection.rb | 131 sentence.symbols.map { |symbol| triggered_axioms(symbol) }.flatten 134 def triggered_axioms(symbol) method in class:SineAxiomSelection.other_finished_sine_axiom_selections |
Completed in 18 milliseconds