src/Generic/PropTree/PropEdgeMatch.cpp
/*
	Use the SessionLogger as a way of printing the status with respect to _covered, _covering, _groups, _weights, and _valid 
	_covered and _covering are filled during computeCoverage(), so this makes most sense called after computeCoverage()
*/
Use the SessionLogger as a way of printing the status with respect to _covered, _covering, _groups, _weights, and _valid
_covered and _covering are filled during computeCoverage(), so this makes most sense called after computeCoverage()
Use the SessionLogger as a way of printing the status with respect to _covered _covering _groups _weights and _valid _covered and _covering are filled during computeCoverage () so this makes most sense called after computeCoverage ()
void PropEdgeMatch::debugPrintValidityAndCoverage() const {
	std::wstringstream tempstream;
	tempstream<<"Covering Results\n";
	for(size_t i = 0; i < _covered.size(); i++){
		tempstream<<i<<": ";
		if(_valid[i]){
			if(_covered[i]){
				const Predicate* p = (*_covering[i]).getRepresentativePredicate();
				tempstream<<"VALID: "<<p->pred()<<" \t"<<_covered[i]<<" \t"<<_valid[i]<<" \t"<<_weights[i]<<" \t";
			}
			else{
				tempstream<<"VALID: EMPTY"<<_covered[i]<<" \t"<<_valid[i]<<" \t"<<_weights[i]<<" \t";
			}
		}
		else{
			tempstream<<"INVALID: "<<" \t"<<_valid[i]<<" \t"<<_weights[i]<<" \t";
		}
		tempstream<<"\n";
	}
	SessionLogger::warn("prop_trees")<<tempstream.str().c_str()<<std::endl;
}
void PropEdgeMatch :: debugPrintValidityAndCoverage ( ) const { std :: wstringstream tempstream ; tempstream << " \n " ; for ( size_t i = 0 ; i < _covered . size ( ) ; i ++ ) { tempstream << i << " " ; if ( _valid [ i ] ) { if ( _covered [ i ] ) { const Predicate * p = ( * _covering [ i ] ) . getRepresentativePredicate ( ) ; tempstream << " " << p -> pred ( ) << " \t " << _covered [ i ] << " \t " << _valid [ i ] << " \t " << _weights [ i ] << " \t " ; } else { tempstream << " " << _covered [ i ] << " \t " << _valid [ i ] << " \t " << _weights [ i ] << " \t " ; } } else { tempstream << " " << " \t " << _valid [ i ] << " \t " << _weights [ i ] << " \t " ; } tempstream << " \n " ; } SessionLogger :: warn ( " " ) << tempstream . str ( ) . c_str ( ) << std :: endl ; }
Use the SessionLogger as a way of printing the status with respect to _covered, _covering, _groups, _weights, and _valid
_covered and _covering are filled during computeCoverage(), so this makes most sense called after computeCoverage()
Use the SessionLogger as a way of printing the status with respect to _covered _covering _groups _weights and _valid _covered and _covering are filled during computeCoverage () so this makes most sense called after computeCoverage ()