# PODNAME: RDF::Cowl::Lib::Gen::Class::ClsAssertAxiom
# ABSTRACT: Generated docs for RDF::Cowl::ClsAssertAxiom

## DO NOT EDIT
## Generated via maint/tt/Class.pod.tt

__END__

=pod

=encoding UTF-8

=head1 NAME

RDF::Cowl::Lib::Gen::Class::ClsAssertAxiom - Generated docs for RDF::Cowl::ClsAssertAxiom

=head1 VERSION

version 1.0.0

=head1 MAIN MODULE

L<RDF::Cowl::ClsAssertAxiom>

=head1 CONSTRUCTORS

=head2 new

B<Signature>:

  RDF::Cowl::ClsAssertAxiom->new(CowlAnyIndividual $ind, Maybe[ CowlVector ] $annot)

B<Params>:

  CowlAnyClsExp $exp 
  CowlAnyIndividual $ind 
  Maybe[ CowlVector ] $annot I<[optional]>

Documentation:

  Returns a retained class assertion axiom.
  
  @param exp The asserted class expression.
  @param ind The assertion individual.
  @param annot [optional] The annotations.
  @return Retained axiom. Throws exception on error.

Throws exception on error.

=over 2

B<C function name>: C<< cowl_cls_assert_axiom >>

=back

=head1 METHODS

=head2 get_cls_exp

B<Signature>:

  $self->get_cls_exp()

B<Params>:

  CowlClsAssertAxiom $axiom 

Documentation:

  Gets the class expression that is asserted to be a type for an individual by this axiom.
  
  @param axiom The axiom.
  @return The class expression.

=over 2

B<C function name>: C<< cowl_cls_assert_axiom_get_cls_exp >>

=back

=head2 get_ind

B<Signature>:

  $self->get_ind()

B<Params>:

  CowlClsAssertAxiom $axiom 

Documentation:

  Gets the individual that is asserted to be an instance of a class expression by this axiom.
  
  @param axiom The axiom.
  @return The individual.

=over 2

B<C function name>: C<< cowl_cls_assert_axiom_get_ind >>

=back

=head2 get_annot

B<Signature>:

  $self->get_annot()

B<Params>:

  CowlClsAssertAxiom $axiom 

Documentation:

  Gets the annotations of the specified axiom.
  
  @param axiom The axiom.
  @return The annotations.

=over 2

B<C function name>: C<< cowl_cls_assert_axiom_get_annot >>

=back

=head1 AUTHOR

Zakariyya Mughal <zmughal@cpan.org>

=head1 COPYRIGHT AND LICENSE

Copyright (C) 2024 by Auto-Parallel Technologies, Inc..

This is free software, licensed under Eclipse Public License - v 2.0.

=cut
