whitespace

This commit is contained in:
Nikolaj
2021-09-29 15:23:58 +02:00
parent a211face12
commit 90ddd7f780
10 changed files with 302 additions and 302 deletions

View File

@ -1,12 +1,12 @@
// This file (along with its implementation id_query.c) abstracts out
// the user-facing part of the query programs. It implements the
// the user-facing part of the query programs. It implements the
// following algorithm:
//
// Records <- Read Dataset
// Index <- Produce Index From Records
// While Program Is Running:
// Read Query From User
// Lookup Query In Index
// Read Query From User
// Lookup Query In Index
// Free Index
//
// Where the specifics of "Produce Index From Records", "Lookup Query