Logo Search packages:      
Sourcecode: sat4j version File versions

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

Setup the reason simplification strategy. By default, there is no reason simplification. NOTE THAT REASON SIMPLIFICATION DOES NOT WORK WITH SPECIFIC DATA STRUCTURE FOR HANDLING BOTH BINARY AND TERNARY CLAUSES.

Parameters:
simp the name of the simplifier (one of NO_SIMPLIFICATION, SIMPLE_SIMPLIFICATION, EXPENSIVE_SIMPLIFICATION).

Definition at line 559 of file Solver.java.

                                             {
            Field f;
            try {
                  f = Solver.class.getDeclaredField(simp);
                  simplifier = (ISimplifier) f.get(this);
            } catch (Exception e) {
                  e.printStackTrace();
                  simplifier = NO_SIMPLIFICATION;
            }
      }


Generated by  Doxygen 1.6.0   Back to index