blminmax(3TSOL)

NAME | SYNOPSIS | DESCRIPTION | ATTRIBUTES | SEE ALSO

NAME

blminmax, blmaximum, blminimum- Bound of two binary levels

SYNOPSIS

cc [flag...] file... -ltsol [library...]


#include <tsol/label.h>

void blmaximum(blevel_t * maximum_label ,const blevel_t * bounding_label);
void blminimum(blevel_t * minimum_label ,const blevel_t * bounding_label);

DESCRIPTION

blmaximum() replaces the contents of binary level maximum_label with the least upper bound of binary levels maximum_label and bounding_label . The least upper bound is the greater of the classifications and all of the compartments of the two binary levels. This is the least binary level that dominates both the original binary levels.

blminimum() replaces the contents of binary level minimum_label with the greatest lower bound of binary levels minimum_label and bounding_label . The greatest lower bound is the lower of the classifications and only the compartments contained in both binary levels. This is the greatest binary level that is dominated by both the original binary levels.

ATTRIBUTES

See attributes(5) for descriptions of the following attributes:

ATTRIBUTE TYPE	ATTRIBUTE VALUE
Availability	SUNWtsu
MT-Level	MT-Safe

SEE ALSO

Trusted Solaris 8 Reference Manual

bcltobanner(3TSOL) , blinset(3TSOL) , blvalid(3TSOL) , labelinfo(3TSOL) , sbltos(3TSOL)

Trusted Solaris Developer's Guide

SunOS 5.8 Reference Manual

attributes(5)

Trusted Solaris 8  Last Revised 3 Aug 1995

NAME | SYNOPSIS | DESCRIPTION | ATTRIBUTES | SEE ALSO