Lines Matching defs:label2
71 * Entry label1, label2 = label levels to compare.
82 blequal(const m_label_t *label1, const m_label_t *label2)
85 return (BLEQUAL(label1, label2));
93 * Entry label1, label2 = labels levels to compare.
97 * Returns True if label1 dominates label2,
104 bldominates(const m_label_t *label1, const m_label_t *label2)
107 return (BLDOMINATES(label1, label2));
115 * Entry label1, label2 = labels levels to compare.
119 * Returns True if label1 dominates and is not equal to label2,
126 blstrictdom(const m_label_t *label1, const m_label_t *label2)
129 return (BLSTRICTDOM(label1, label2));
198 * Entry label1, label2 = levels to bound.
200 * Exit label1 replaced by the LUB of label1 and label2.
208 blmaximum(m_label_t *label1, const m_label_t *label2)
211 BLMAXIMUM(label1, label2);
218 * Entry label1, label2 = levels to bound.
220 * Exit label1 replaced by the GLB of label1 and label2.
228 blminimum(m_label_t *label1, const m_label_t *label2)
231 BLMINIMUM(label1, label2);