/ 
RDF-Cowl-1.0.0
River stage zero No dependents
/ RDF::Cowl::Lib::Gen::Class::DisjUnionAxiom

NAME

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

VERSION

version 1.0.0

MAIN MODULE

RDF::Cowl::DisjUnionAxiom

CONSTRUCTORS

new

Signature:

RDF::Cowl::DisjUnionAxiom->new(CowlVector $disjoints, Maybe[ CowlVector ] $annot)

Params:

CowlClass $cls 
CowlVector $disjoints 
Maybe[ CowlVector ] $annot I<[optional]>

Documentation:

Returns a retained disjoint union axiom.

@param cls The class which is equivalent to the disjoint union.
@param disjoints The class expressions which are operands of the disjoint union.
@param annot [optional] The annotations.
@return Retained disjoint union axiom. Throws exception on error.

Throws exception on error.

    C function name: cowl_disj_union_axiom

METHODS

get_class

Signature:

$self->get_class()

Params:

CowlDisjUnionAxiom $axiom

Documentation:

Gets the class which is equivalent to the disjoint union.

@param axiom The axiom.
@return The class.

    C function name: cowl_disj_union_axiom_get_class

get_disjoints

Signature:

$self->get_disjoints()

Params:

CowlDisjUnionAxiom $axiom

Documentation:

Gets the class expressions which are operands of the disjoint union.
@param axiom The axiom.
@return The class expressions.

    C function name: cowl_disj_union_axiom_get_disjoints

get_annot

Signature:

$self->get_annot()

Params:

CowlDisjUnionAxiom $axiom

Documentation:

Gets the annotations of the specified axiom.

@param axiom The axiom.
@return The annotations.

    C function name: cowl_disj_union_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.