Download User Guide and Reference Manual

Transcript
CORNFLOWER LIBRARY
public void filterFromUpdate()
public
affected)
void
filterFromUpdate(vector<
pair<int,
string*>
>
Incremental filtering algorithm. The second function is used in standalone
applications. It requires an array of domain delta information which stores a
variableIndex and pointer to removed value.
Page 20