src/Generic/SPropTrees/SForestUtilities.cpp
//free all memory taken by the set of proposition trees

free all memory taken by the set of proposition trees
free all memory taken by the set of proposition trees
void SForestUtilities::cleanPropForest(SPropForest& forest) {
	for ( SPropForest::iterator pfi=forest.begin(); pfi != forest.end(); pfi++ ) {
		if ( pfi->tree ) delete pfi->tree;
	}
	forest.clear();
}
void SForestUtilities :: cleanPropForest ( SPropForest & forest ) { for ( SPropForest :: iterator pfi = forest . begin ( ) ; pfi != forest . end ( ) ; pfi ++ ) { if ( pfi -> tree ) delete pfi -> tree ; } forest . clear ( ) ; }
free all memory taken by the set of proposition trees
free all memory taken by the set of proposition trees