/ontohub/app/serializers/ |
H A D | mapping_serializer.rb | 2 class Reference < ApplicationSerializer class in class:MappingSerializer 14 has_one :ontology, serializer: OntologySerializer::Reference 15 has_one :source_ontology, serializer: OntologySerializer::Reference 16 has_one :target_ontology, serializer: OntologySerializer::Reference 19 Reference.new(object).iri
|
H A D | proof_attempt_serializer.rb | 2 class Reference < ApplicationSerializer class in class:ProofAttemptSerializer 15 has_one :prover_output, serializer: ProverOutputSerializer::Reference 18 has_one :theorem, serializer: TheoremSerializer::Reference 20 serializer: ProofAttemptConfigurationSerializer::Reference 21 has_one :proof_status, serializer: ProofStatusSerializer::Reference 27 Reference.new(object).iri
|
H A D | axiom_serializer.rb | 2 class Reference < ApplicationSerializer class in class:AxiomSerializer 14 has_one :ontology, serializer: OntologySerializer::Reference 17 Reference.new(object).iri
|
H A D | ontology_version_serializer.rb | 2 class Reference < ApplicationSerializer class in class:OntologyVersionSerializer 16 has_one :ontology, serializer: OntologySerializer::Reference 19 Reference.new(object).iri
|
H A D | prover_output_serializer.rb | 2 class Reference < ApplicationSerializer class in class:ProverOutputSerializer 13 has_one :proof_attempt, serializer: ProofAttemptSerializer::Reference 16 Reference.new(object).iri
|
H A D | sentence_serializer.rb | 2 class Reference < ApplicationSerializer class in class:SentenceSerializer 14 has_one :ontology, serializer: OntologySerializer::Reference 17 Reference.new(object).iri
|
H A D | logic_mapping_serializer.rb | 2 class Reference < ApplicationSerializer class in class:LogicMappingSerializer 20 has_one :source_logic, serializer: LogicSerializer::Reference 21 has_one :target_logic, serializer: LogicSerializer::Reference 24 Reference.new(object).iri
|
H A D | ontology_serializer.rb | 2 class Reference < ApplicationSerializer class in class:OntologySerializer 16 has_one :logic, serializer: LogicSerializer::Reference 17 has_one :repository, serializer: RepositorySerializer::Reference 18 has_one :parent, serializer: OntologySerializer::Reference 20 serializer: OntologyVersionSerializer::Reference 21 has_many :license_models, each_serializer: LicenseModelSerializer::Reference 23 serializer: FormalityLevelSerializer::Reference 25 serializer: OntologyTypeSerializer::Reference 30 Reference.new(object).iri
|
H A D | theorem_serializer.rb | 2 class Reference < ApplicationSerializer class in class:TheoremSerializer 15 has_one :proof_status, serializer: ProofStatusSerializer::Reference 16 has_one :ontology, serializer: OntologySerializer::Reference 22 Reference.new(object).iri
|
H A D | proof_status_serializer.rb | 2 class Reference < ApplicationSerializer class in class:ProofStatusSerializer 17 Reference.new(object).iri
|
H A D | action_serializer.rb | 2 class Reference < ApplicationSerializer class in class:ActionSerializer 15 Reference.new(object).iri
|
H A D | formality_level_serializer.rb | 2 class Reference < ApplicationSerializer class in class:FormalityLevelSerializer 17 Reference.new(object).iri
|
H A D | license_model_serializer.rb | 2 class Reference < ApplicationSerializer class in class:LicenseModelSerializer 17 Reference.new(object).iri
|
H A D | logic_serializer.rb | 2 class Reference < ApplicationSerializer class in class:LogicSerializer 17 Reference.new(object).iri
|
H A D | ontology_type_serializer.rb | 2 class Reference < ApplicationSerializer class in class:OntologyTypeSerializer 17 Reference.new(object).iri
|
H A D | proof_attempt_configuration_serializer.rb | 2 class Reference < ApplicationSerializer class in class:ProofAttemptConfigurationSerializer 15 has_one :selected_logic_mapping, serializer: LogicMappingSerializer::Reference 20 Reference.new(object).iri
|
/ontohub/app/controllers/api/v1/ |
H A D | proof_attempt_configurations_controller.rb | 12 each_serializer: ProofAttemptConfigurationSerializer::Reference 21 each_serializer: AxiomSerializer::Reference 30 each_serializer: TheoremSerializer::Reference
|
H A D | children_controller.rb | 9 {each_serializer: OntologySerializer::Reference}
|
H A D | proof_attempts_controller.rb | 11 each_serializer: ProofAttemptSerializer::Reference 20 each_serializer: AxiomSerializer::Reference 38 each_serializer: TheoremSerializer::Reference
|
H A D | axioms_controller.rb | 11 each_serializer: AxiomSerializer::Reference
|
H A D | logic_mappings_controller.rb | 10 each_serializer: LogicMappingSerializer::Reference
|
H A D | mappings_controller.rb | 11 each_serializer: MappingSerializer::Reference
|
H A D | proof_statuses_controller.rb | 9 each_serializer: ProofStatusSerializer::Reference
|
H A D | sentences_controller.rb | 11 each_serializer: SentenceSerializer::Reference
|
/ontohub/app/serializers/ontology_member/ |
H A D | symbol_serializer.rb | 2 class Reference < ApplicationSerializer class in class:OntologyMember 14 has_one :ontology, serializer: OntologySerializer::Reference 17 Reference.new(object).iri
|