Searched refs:ManualAxiomSelection (Results 1 - 4 of 4) sorted by relevance

/ontohub/app/models/
H A Dmanual_axiom_selection.rb1 class ManualAxiomSelection < ActiveRecord::Base class
/ontohub/spec/models/
H A Dmanual_axiom_selection_spec.rb3 describe ManualAxiomSelection do
/ontohub/app/fake_records/
H A Dproof.rb155 @specific_axiom_selection = ManualAxiomSelection.new
/ontohub/spec/lib/
H A Dproof_spec.rb95 to eq(ManualAxiomSelection)
210 to eq(ManualAxiomSelection)

Completed in 12 milliseconds