Method doFinalization

src/Fact.cpp:110–118

}

void
Fact::doFinalization()
{
	std::vector<Fact*>::iterator i;
	for( i = facts_.begin(); i != facts_.end(); ++i) {
		delete (*i);
	}
	facts_.clear();
}

// fact manipulating functions
int