clear method

@override void clear()

Clears all facts.

Implementation

@override
void clear() {
  _facts.clear();
  _derived.clear();
}