Examples of org.sat4j.minisat.orders.PureOrder

org.sat4j.minisat.orders.PureOrder
@author leberre TODO To change the template for this generated type commentgo to Window - Preferences - Java - Code Style - Code Templates

     *         literal that is watched on at least one clause such that its
     *         negation is not watched at all. It is not necessarily a watched
     *         literal.)
     */
    public static Solver<ILits,DataStructureFactory<ILits>> newMiniLearningPure() {
        return newMiniLearning(new MixedDataStructureDaniel(), new PureOrder());
    }

View Full Code Here

    /**
     * @return a default minilearning SAT solver choosing periodically to branch
     *         on literal "pure in the original set of clauses" if any.
     */
    public static Solver<ILits,DataStructureFactory<ILits>> newMiniLearningCBWLPure() {
        return newMiniLearning(new ClausalDataStructureCBHT(), new PureOrder());
    }

View Full Code Here

TOP

Related Classes of org.sat4j.minisat.orders.PureOrder

org.sat4j.minisat.SolverFactory

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.