Where the variable qp is passed into a function, if this is set to true, the proof class will only check until the row blocks are found to be false, as soon as this is the case, the function will end and store the true/false result. No details will be stored about what lines the row block failed on.
Default Constructor. Sets trueness to false. Use the prove function to provide the rows to prove.
This checks for repeated rows from first to last. Expects up to 1 extent only. Result is stored in class for later retrieval.
This checks for repeated rows from first to last. Expects up to max extents. Result is stored in class for later retrieval.
This constructor takes two blocks of rows as it parameters. true_first to true_last are assumed to be a block of rows that are true. No trueness checking is performed on these rows. The function looks at rows unknown_first to unknown_last comparing them to the true block, and to the unknown block to see if they are repeated anywhere. The failure information is reset before the analysis takes place, hence any falseness details obtained will be for the new block only.