49   double TotalWallClock = 0.0 ; 
 
   50   if ( RedistribTime_.WallTime() != 
UnUsedDbl )
 
   51     { TotalWallClock += RedistribTime_.WallTime() ; } ; 
 
   52   if ( SymbolicTime_.WallTime() != 
UnUsedDbl )
 
   53     { TotalWallClock += SymbolicTime_.WallTime() ; } ; 
 
   54   if ( FactorTime_.WallTime() != 
UnUsedDbl )
 
   55     { TotalWallClock += FactorTime_.WallTime() ; } ; 
 
   57     { TotalWallClock += SolveTime_.WallTime() ; } ; 
 
virtual void Print(std::ostream &os) const 
 
virtual void PrintSummary(std::ostream &os) const