Content-type: text/html Man page of blminmax

blminmax

Section: Trusted Extensions Library Functions (3TSOL)
Updated: 20 Jul 2007
Index Return to Main Contents
 

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(5) for descriptions of the following attributes:

ATTRIBUTE TYPEATTRIBUTE VALUE

Interface StabilityCommitted

MT-Level

 

SEE ALSO

label_to_str(3TSOL), libtsol(3LIB), sbltos(3TSOL), attributes(5)  

NOTES

The functionality described on this manual page is available only if the system is configured with Trusted Extensions.


 

Index

NAME
SYNOPSIS
DESCRIPTION
ATTRIBUTES
SEE ALSO
NOTES

This document was created by man2html, using the manual pages.
Time: 02:38:33 GMT, October 02, 2010