BLMINMAX(3TSOL) Trusted Extensions Library Functions BLMINMAX(3TSOL)
NAME
blminmax, blmaximum, blminimum - bound of two labels
SYNOPSIS
cc [
flag...]
file...
-ltsol [
library...]
#include <tsol/label.h>
void blmaximum(
m_label_t *maximum_label,
const m_label_t *bounding_label);
void blminimum(
m_label_t *minimum_label,
const m_label_t *bounding_label);
DESCRIPTION
The
blmaximum() function replaces the contents of label
maximum_label with the least upper bound of the labels
maximum_label and
bounding_label. The least upper bound is the greater of the
classifications and all of the compartments of the two labels. This
is the least label that dominates both of the original labels.
The
blminimum() function replaces the contents of label
minimum_label with the greatest lower bound of the labels
minimum_label and
bounding_label. The greatest lower bound is the lower of the
classifications and only the compartments that are contained in both
labels. This is the greatest label that is dominated by both of the
original labels.
ATTRIBUTES
See
attributes(7) for descriptions of the following attributes:
+--------------------+-----------------+
| ATTRIBUTE TYPE | ATTRIBUTE VALUE |
+--------------------+-----------------+
|Interface Stability | Committed |
+--------------------+-----------------+
|MT-Level | MT-Safe |
+--------------------+-----------------+
SEE ALSO
libtsol(3LIB),
label_to_str(3TSOL),
sbltos(3TSOL),
attributes(7)NOTES
The functionality described on this manual page is available only if
the system is configured with Trusted Extensions.
July 20, 2007 BLMINMAX(3TSOL)
