/ 
RDF-Cowl-1.0.0
River stage zero No dependents
/ 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.