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