Lines Matching refs:an
63 # database while simultaneously maintaining an invariant on that database.
74 # 2. The union of the foreground an background tables consists of N entries
75 # where each entry an L-digit key. (Actually, some keys can be longer
77 # cover all integers between 1 and N. Whenever an entry is added to
81 # begin with an L-digit number but are followed by additional characters.
89 # such entries there is an entry in the long data type. The key to
90 # long data table is an L-digit number. (The extension on long keys
127 # Verify the invariants on the database. Return an empty string on
128 # success or an error message if something is amiss.
174 return "Key $i has an invalid extension"
186 return "Entry $i has an incorrect data"