Searched refs:Reference (Results 1 - 25 of 29) sorted by relevance

12

/ontohub/app/serializers/
H A Dmapping_serializer.rb2 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 Dproof_attempt_serializer.rb2 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 Daxiom_serializer.rb2 class Reference < ApplicationSerializer class in class:AxiomSerializer
14 has_one :ontology, serializer: OntologySerializer::Reference
17 Reference.new(object).iri
H A Dontology_version_serializer.rb2 class Reference < ApplicationSerializer class in class:OntologyVersionSerializer
16 has_one :ontology, serializer: OntologySerializer::Reference
19 Reference.new(object).iri
H A Dprover_output_serializer.rb2 class Reference < ApplicationSerializer class in class:ProverOutputSerializer
13 has_one :proof_attempt, serializer: ProofAttemptSerializer::Reference
16 Reference.new(object).iri
H A Dsentence_serializer.rb2 class Reference < ApplicationSerializer class in class:SentenceSerializer
14 has_one :ontology, serializer: OntologySerializer::Reference
17 Reference.new(object).iri
H A Dlogic_mapping_serializer.rb2 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 Dontology_serializer.rb2 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 Dtheorem_serializer.rb2 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 Dproof_status_serializer.rb2 class Reference < ApplicationSerializer class in class:ProofStatusSerializer
17 Reference.new(object).iri
H A Daction_serializer.rb2 class Reference < ApplicationSerializer class in class:ActionSerializer
15 Reference.new(object).iri
H A Dformality_level_serializer.rb2 class Reference < ApplicationSerializer class in class:FormalityLevelSerializer
17 Reference.new(object).iri
H A Dlicense_model_serializer.rb2 class Reference < ApplicationSerializer class in class:LicenseModelSerializer
17 Reference.new(object).iri
H A Dlogic_serializer.rb2 class Reference < ApplicationSerializer class in class:LogicSerializer
17 Reference.new(object).iri
H A Dontology_type_serializer.rb2 class Reference < ApplicationSerializer class in class:OntologyTypeSerializer
17 Reference.new(object).iri
H A Dproof_attempt_configuration_serializer.rb2 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 Dproof_attempt_configurations_controller.rb12 each_serializer: ProofAttemptConfigurationSerializer::Reference
21 each_serializer: AxiomSerializer::Reference
30 each_serializer: TheoremSerializer::Reference
H A Dchildren_controller.rb9 {each_serializer: OntologySerializer::Reference}
H A Dproof_attempts_controller.rb11 each_serializer: ProofAttemptSerializer::Reference
20 each_serializer: AxiomSerializer::Reference
38 each_serializer: TheoremSerializer::Reference
H A Daxioms_controller.rb11 each_serializer: AxiomSerializer::Reference
H A Dlogic_mappings_controller.rb10 each_serializer: LogicMappingSerializer::Reference
H A Dmappings_controller.rb11 each_serializer: MappingSerializer::Reference
H A Dproof_statuses_controller.rb9 each_serializer: ProofStatusSerializer::Reference
H A Dsentences_controller.rb11 each_serializer: SentenceSerializer::Reference
/ontohub/app/serializers/ontology_member/
H A Dsymbol_serializer.rb2 class Reference < ApplicationSerializer class in class:OntologyMember
14 has_one :ontology, serializer: OntologySerializer::Reference
17 Reference.new(object).iri

Completed in 15 milliseconds

12