Logo Search packages:      
Sourcecode: sat4j version File versions

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

Display a textual representation of the solver configuration.

Parameters:
prefix the prefix to use on each line.
Returns:
a textual description of the solver internals.

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

Definition at line 1245 of file Solver.java.

                                            {
            StringBuffer stb = new StringBuffer();
            Object[] objs = { analyzer, dsfactory, learner, params, order,
                        simplifier, restarter };
            stb.append(prefix);
            stb.append("--- Begin Solver configuration ---"); //$NON-NLS-1$
            stb.append("\n"); //$NON-NLS-1$
            for (Object o : objs) {
                  stb.append(prefix);
                  stb.append(o.toString());
                  stb.append("\n"); //$NON-NLS-1$
            }
            stb.append(prefix);
            stb.append("timeout=");
            if (timeBasedTimeout) {
                  stb.append(timeout / 1000);
                  stb.append("s\n");
            } else {
                  stb.append(timeout);
                  stb.append(" conflicts\n");
            }
            stb.append(prefix);
            stb.append("DB Simplification allowed=");
            stb.append(isDBSimplificationAllowed);
            stb.append("\n"); 
            stb.append(prefix);
            stb.append("--- End Solver configuration ---"); //$NON-NLS-1$
            return stb.toString();
      }


Generated by  Doxygen 1.6.0   Back to index