Logo Search packages:      
Sourcecode: sat4j version File versions

void org::sat4j::minisat::core::Solver< L extends ILits, D extends DataStructureFactory< L >>::printStat ( PrintWriter  out,
String  prefix 
) [inline]

Display statistics to the given output writer

Parameters:
out 
prefix the prefix to put in front of each line
Since:
1.6

Implements org::sat4j::specs::ISolver.

Definition at line 1231 of file Solver.java.

                                                            {
            stats.printStat(out, prefix);
            double cputime = (System.currentTimeMillis() - timebegin) / 1000;
            out.println(prefix
                        + "speed (assignments/second)\t: " + stats.propagations //$NON-NLS-1$
                        / cputime);
            order.printStat(out, prefix);
      }


Generated by  Doxygen 1.6.0   Back to index