Lines Matching full:invariant
471 invariant: the entry's size is equal to the sum of its children's sizes.
473 10,000B, 8,000B, and 2,000B. In general, this invariant almost always
476 means that some entries in the tree may not satisfy the invariant -- the
