Searched refs:Axiom (Results 1 - 8 of 8) sorted by relevance

/ontohub/app/models/
H A Daxiom.rb1 class Axiom < Sentence class
H A Dsine_axiom_selection.rb135 Axiom.unscoped.joins(:sine_symbol_axiom_triggers).
141 Axiom.unscoped.joins(:symbols).
H A Dontology.rb151 Axiom.where(ontology_id: self)
/ontohub/spec/models/
H A Dproof_attempt_configuration_spec.rb47 subject.axiom_selection.axioms = [Axiom.first]
/ontohub/db/migrate/
H A D20160310132620_move_loc_id_to_own_model.rb9 Axiom].freeze
/ontohub/app/fake_records/
H A Dproof.rb158 axiom_ids.map { |id| Axiom.unscoped.find(id) }
/ontohub/lib/hets/prove/
H A Dprove_evaluation_helper.rb112 used_axioms << axiom if axiom.is_a?(Axiom)
/ontohub/config/
H A Droutes.rb101 MMTRouterConstraint.new(Axiom, ontology: :ontology_id),
448 LocIdRouterConstraint.new(Axiom, ontology: :ontology_id, element: :id),

Completed in 12 milliseconds