reset

Synopsis

void reset()

Description

Reset removes the currently loaded factbase from memory and replaces it with an empty one; all scalar variables, sets and relations are undefined.

See also

delete