Searched refs:MMTRouterConstraint (Results 1 - 2 of 2) sorted by relevance
| /ontohub/config/ |
| H A D | routes.rb | 54 MMTRouterConstraint.new(Ontology, ontology: :id),
70 MMTRouterConstraint.new(Mapping, ontology: :ontology_id, element: :id),
85 MMTRouterConstraint.new(OntologyMember::Symbol, ontology: :ontology_id),
101 MMTRouterConstraint.new(Axiom, ontology: :ontology_id),
117 MMTRouterConstraint.new(Theorem, ontology: :ontology_id, element: :id),
132 MMTRouterConstraint.new(ProofAttempt, element: :proof_attempt_id),
|
| /ontohub/lib/ |
| H A D | router_constraints.rb | 133 class MMTRouterConstraint < LocIdRouterConstraint class
|
Completed in 12 milliseconds