Synopsis

#include "lash-ndd.h"

ndd *ndd_image_by_star_info(ndd *nd, linear_star_info *si);

Description

This function computes the image of the set represented by the NDD *nd by the closure of the linear transformation tr described by the information structure *si (i.e., the image of that set by an unbounded number of iterations of tr).

This function does not modify *nd or *si.

Return values

In the case of success, this function returns a pointer to a newly created NDD. In the case of an error, it returns a NULL pointer and sets lash_errno.

Diagnostics

LASH_ERR_NOT_INIT

The package has not been initialized.

LASH_ERR_DIMENSION

Dimension mismatch.

LASH_ERR_BASE

Base mismatch.

LASH_ERR_TYPE

Type mismatch.

LASH_ERR_NO_MEM

Not enough memory.

LASH_ERR_NOT_IMPL

Closures that cannot be expressed in Presburger arithmetic are not (yet!) implemented.

LASH_ERR_CORRUPT

Corrupt NDD or transformation structure.

See also

[ Synopsis | Description | Return values | Diagnostics | See also | Back to the NDD package documentation ]