ndd_equality, ndd_disjoint


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

Synopsis

#include "lash-ndd.h"

int ndd_equality(ndd *nd1, ndd *nd2);
int ndd_disjoint(ndd *nd1, ndd *nd2);

Description

These functions test whether the sets represented by the NDD *nd1 and *nd2 are respectively equal and disjoint from each other. The two NDD must use the same base and be of the same type and dimension. They are not modified by these functions.

Return values

In the case of success, these functions return a Boolean value (1 if the sets are respectively equal or disjoint, 0 otherwise). In the case of an error, they return -1 and set lash_errno.

Diagnostics

LASH_ERR_NOT_INIT
The package has not been initialized.
LASH_ERR_BAD_TYPE
Bad type of NDD.
LASH_ERR_DIMENSION
Dimension mismatch.
LASH_ERR_BASE
Base mismatch.
LASH_ERR_NO_MEM
Insufficient memory.
LASH_ERR_CORRUPT
Corrupt NDD.

See also

ndd_is_empty, ndd_inclusion.

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