Changed print format of ordering to print in elimination order instead of sorted by key
							parent
							
								
									3e93c488e5
								
							
						
					
					
						commit
						0238f54b9f
					
				|  | @ -42,8 +42,13 @@ void Ordering::permuteWithInverse(const Permutation& inversePermutation) { | ||||||
| /* ************************************************************************* */ | /* ************************************************************************* */ | ||||||
| void Ordering::print(const string& str, const KeyFormatter& keyFormatter) const { | void Ordering::print(const string& str, const KeyFormatter& keyFormatter) const { | ||||||
|   cout << str; |   cout << str; | ||||||
|   BOOST_FOREACH(const Ordering::value_type& key_order, *this) | 	// Print ordering in index order
 | ||||||
|     cout << keyFormatter(key_order.first) << ":" << key_order.second << endl; | 	Ordering::InvertedMap inverted = this->invert(); | ||||||
|  | 	cout << "key (zero-based order)\n"; | ||||||
|  | 	BOOST_FOREACH(const Ordering::InvertedMap::value_type& index_key, inverted) { | ||||||
|  | 		cout << keyFormatter(index_key.second) << " (" << index_key.first << ")\n"; | ||||||
|  | 	} | ||||||
|  | 	cout.flush(); | ||||||
| } | } | ||||||
| 
 | 
 | ||||||
| /* ************************************************************************* */ | /* ************************************************************************* */ | ||||||
|  |  | ||||||
		Loading…
	
		Reference in New Issue