The London Perl and Raku Workshop takes place on 26th Oct 2024. If your company depends on Perl, please consider sponsoring and/or attending.
 / 
RDF-Cowl-1.0.0
River stage zero No dependents
1 ++
/ RDF::Cowl::Lib::Gen::Class::ClsAssertAxiom

NAME

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

VERSION

version 1.0.0

MAIN MODULE

RDF::Cowl::ClsAssertAxiom

CONSTRUCTORS

new

Signature:

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

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.

    C function name: cowl_cls_assert_axiom

METHODS

get_cls_exp

Signature:

  $self->get_cls_exp()

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.

    C function name: cowl_cls_assert_axiom_get_cls_exp

get_ind

Signature:

  $self->get_ind()

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.

    C function name: cowl_cls_assert_axiom_get_ind

get_annot

Signature:

  $self->get_annot()

Params:

  CowlClsAssertAxiom $axiom

Documentation:

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

    C function name: cowl_cls_assert_axiom_get_annot

AUTHOR

Zakariyya Mughal <zmughal@cpan.org>

COPYRIGHT AND LICENSE

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

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