Trait horned_visit::VisitMut

source · [−]
pub trait VisitMut {

Show 67 methods    fn visit_annotations(&mut self, annotations: &mut BTreeSet<Annotation>) { ... }

    fn visit_annotated_axiom(&mut self, annotated_axiom: &mut AnnotatedAxiom) { ... }

    fn visit_annotation(&mut self, annotation: &mut Annotation) { ... }

    fn visit_annotation_assertion(
        &mut self, 
        annotation_assertion: &mut AnnotationAssertion
    ) { ... }

    fn visit_annotation_property(
        &mut self, 
        annotation_property: &mut AnnotationProperty
    ) { ... }

    fn visit_annotation_property_domain(
        &mut self, 
        annotation_property_domain: &mut AnnotationPropertyDomain
    ) { ... }

    fn visit_annotation_property_range(
        &mut self, 
        annotation_property_range: &mut AnnotationPropertyRange
    ) { ... }

    fn visit_annotation_subject(
        &mut self, 
        annotation_subject: &mut AnnotationSubject
    ) { ... }

    fn visit_annotation_value(&mut self, annotation_value: &mut AnnotationValue) { ... }

    fn visit_anonymous_individual(
        &mut self, 
        anonymous_individual: &mut AnonymousIndividual
    ) { ... }

    fn visit_asymmetric_object_property(
        &mut self, 
        asymmetric_object_property: &mut AsymmetricObjectProperty
    ) { ... }

    fn visit_axiom(&mut self, axiom: &mut Axiom) { ... }

    fn visit_class(&mut self, class: &mut Class) { ... }

    fn visit_class_assertion(&mut self, class_assertion: &mut ClassAssertion) { ... }

    fn visit_class_expression(&mut self, class_expression: &mut ClassExpression) { ... }

    fn visit_data_property(&mut self, data_property: &mut DataProperty) { ... }

    fn visit_data_property_assertion(
        &mut self, 
        data_property_assertion: &mut DataPropertyAssertion
    ) { ... }

    fn visit_data_property_domain(
        &mut self, 
        data_property_domain: &mut DataPropertyDomain
    ) { ... }

    fn visit_data_property_range(
        &mut self, 
        data_property_range: &mut DataPropertyRange
    ) { ... }

    fn visit_data_range(&mut self, data_range: &mut DataRange) { ... }

    fn visit_datatype(&mut self, datatype: &mut Datatype) { ... }

    fn visit_datatype_definition(
        &mut self, 
        datatype_definition: &mut DatatypeDefinition
    ) { ... }

    fn visit_declare_annotation_property(
        &mut self, 
        declare_annotation_property: &mut DeclareAnnotationProperty
    ) { ... }

    fn visit_declare_class(&mut self, declare_class: &mut DeclareClass) { ... }

    fn visit_declare_datatype(&mut self, declare_datatype: &mut DeclareDatatype) { ... }

    fn visit_declare_data_property(
        &mut self, 
        declare_data_property: &mut DeclareDataProperty
    ) { ... }

    fn visit_declare_named_individual(
        &mut self, 
        declare_named_individual: &mut DeclareNamedIndividual
    ) { ... }

    fn visit_declare_object_property(
        &mut self, 
        declare_object_property: &mut DeclareObjectProperty
    ) { ... }

    fn visit_different_individuals(
        &mut self, 
        different_individuals: &mut DifferentIndividuals
    ) { ... }

    fn visit_disjoint_classes(&mut self, disjoint_classes: &mut DisjointClasses) { ... }

    fn visit_disjoint_data_properties(
        &mut self, 
        disjoint_data_properties: &mut DisjointDataProperties
    ) { ... }

    fn visit_disjoint_object_properties(
        &mut self, 
        disjoint_object_properties: &mut DisjointObjectProperties
    ) { ... }

    fn visit_disjoint_union(&mut self, disjoint_union: &mut DisjointUnion) { ... }

    fn visit_equivalent_classes(
        &mut self, 
        equivalent_classes: &mut EquivalentClasses
    ) { ... }

    fn visit_equivalent_data_properties(
        &mut self, 
        equivalent_data_properties: &mut EquivalentDataProperties
    ) { ... }

    fn visit_equivalent_object_properties(
        &mut self, 
        equivalent_object_properties: &mut EquivalentObjectProperties
    ) { ... }

    fn visit_facet(&mut self, facet: &mut Facet) { ... }

    fn visit_facet_restriction(
        &mut self, 
        facet_restriction: &mut FacetRestriction
    ) { ... }

    fn visit_functional_data_property(
        &mut self, 
        functional_data_property: &mut FunctionalDataProperty
    ) { ... }

    fn visit_functional_object_property(
        &mut self, 
        functional_object_property: &mut FunctionalObjectProperty
    ) { ... }

    fn visit_has_key(&mut self, has_key: &mut HasKey) { ... }

    fn visit_import(&mut self, import: &mut Import) { ... }

    fn visit_individual(&mut self, individual: &mut Individual) { ... }

    fn visit_inverse_functional_object_property(
        &mut self, 
        inverse_functional_object_property: &mut InverseFunctionalObjectProperty
    ) { ... }

    fn visit_inverse_object_properties(
        &mut self, 
        inverse_object_properties: &mut InverseObjectProperties
    ) { ... }

    fn visit_iri(&mut self, iri: &mut IRI) { ... }

    fn visit_irreflexive_object_property(
        &mut self, 
        irreflexive_object_property: &mut IrreflexiveObjectProperty
    ) { ... }

    fn visit_literal(&mut self, literal: &mut Literal) { ... }

    fn visit_named_individual(&mut self, named_individual: &mut NamedIndividual) { ... }

    fn visit_negative_data_property_assertion(
        &mut self, 
        negative_data_property_assertion: &mut NegativeDataPropertyAssertion
    ) { ... }

    fn visit_negative_object_property_assertion(
        &mut self, 
        negative_object_property_assertion: &mut NegativeObjectPropertyAssertion
    ) { ... }

    fn visit_object_property(&mut self, object_property: &mut ObjectProperty) { ... }

    fn visit_object_property_assertion(
        &mut self, 
        object_property_assertion: &mut ObjectPropertyAssertion
    ) { ... }

    fn visit_object_property_expression(
        &mut self, 
        object_property_expression: &mut ObjectPropertyExpression
    ) { ... }

    fn visit_object_property_domain(
        &mut self, 
        object_property_domain: &mut ObjectPropertyDomain
    ) { ... }

    fn visit_object_property_range(
        &mut self, 
        object_property_range: &mut ObjectPropertyRange
    ) { ... }

    fn visit_ontology_annotation(
        &mut self, 
        ontology_annotation: &mut OntologyAnnotation
    ) { ... }

    fn visit_property_expression(
        &mut self, 
        property_expression: &mut PropertyExpression
    ) { ... }

    fn visit_reflexive_object_property(
        &mut self, 
        reflexive_object_property: &mut ReflexiveObjectProperty
    ) { ... }

    fn visit_same_individual(&mut self, same_individual: &mut SameIndividual) { ... }

    fn visit_sub_class_of(&mut self, sub_class_of: &mut SubClassOf) { ... }

    fn visit_sub_annotation_property_of(
        &mut self, 
        sub_annotation_property_of: &mut SubAnnotationPropertyOf
    ) { ... }

    fn visit_sub_data_property_of(
        &mut self, 
        sub_data_property_of: &mut SubDataPropertyOf
    ) { ... }

    fn visit_sub_object_property_expression(
        &mut self, 
        sub_object_property_expression: &mut SubObjectPropertyExpression
    ) { ... }

    fn visit_sub_object_property_of(
        &mut self, 
        sub_object_property_of: &mut SubObjectPropertyOf
    ) { ... }

    fn visit_symmetric_object_property(
        &mut self, 
        symmetric_object_property: &mut SymmetricObjectProperty
    ) { ... }

    fn visit_transitive_object_property(
        &mut self, 
        transitive_object_property: &mut TransitiveObjectProperty
    ) { ... }

}
Expand description

A trait for visiting the elements of an ontology mutably.

Provided methods

Visit the annotations of an AnnotatedAxiom.

Visit a AnnotatedAxiom.

Visit a Annotation.

Visit a AnnotationAssertion.

Visit a AnnotationProperty.

Visit a AnnotationPropertyDomain.

Visit a AnnotationPropertyRange.

Visit a AnnotationSubject.

Visit a AnnotationValue.

Visit a AnonymousIndividual.

Visit a AsymmetricObjectProperty.

Visit a Axiom.

Visit a Class.

Visit a ClassAssertion.

Visit a ClassExpression.

Visit a DataProperty.

Visit a DataPropertyAssertion.

Visit a DataPropertyDomain.

Visit a DataPropertyRange.

Visit a DataRange.

Visit a Datatype.

Visit a DatatypeDefinition.

Visit a DeclareAnnotationProperty.

Visit a DeclareClass.

Visit a DeclareDatatype.

Visit a DeclareDataProperty.

Visit a DeclareNamedIndividual.

Visit a DeclareObjectProperty.

Visit a DifferentIndividuals.

Visit a DisjointClasses.

Visit a DisjointDataProperties.

Visit a DisjointObjectProperties.

Visit a DisjointUnion.

Visit a EquivalentClasses.

Visit a EquivalentDataProperties.

Visit a EquivalentObjectProperties.

Visit a Facet.

Visit a FacetRestriction.

Visit a FunctionalDataProperty.

Visit a FunctionalObjectProperty.

Visit a HasKey.

Visit a Import.

Visit a Individual.

Visit a InverseFunctionalObjectProperty.

Visit a InverseObjectProperties.

Visit a IRI.

Visit a IrreflexiveObjectProperty.

Visit a Literal.

Visit a NamedIndividual.

Visit a NegativeDataPropertyAssertion.

Visit a NegativeObjectPropertyAssertion.

Visit a ObjectProperty.

Visit a ObjectPropertyAssertion.

Visit a ObjectPropertyExpression.

Visit a ObjectPropertyDomain.

Visit a ObjectPropertyRange.

Visit a OntologyAnnotation.

Visit a PropertyExpression.

Visit a ReflexiveObjectProperty.

Visit a SameIndividual.

Visit a SubClassOf.

Visit a SubAnnotationPropertyOf.

Visit a SubDataPropertyOf.

Visit a SubObjectPropertyExpression.

Visit a SubObjectPropertyOf.

Visit a SymmetricObjectProperty.

Visit a TransitiveObjectProperty.

Implementations on Foreign Types

Implementors