Examples of org.sat4j.minisat.constraints.MixedDataStructureWithBinary

org.sat4j.minisat.constraints.MixedDataStructureWithBinary
@author leberre To change the template for this generated type comment go toWindow>Preferences>Java>Code Generation>Code and Comments

     * @return a default minilearning solver using a specific data structure
     *         described in Lawrence Ryan thesis to handle binary clauses.
     * @see #newMiniLearning
     */
    public static Solver<ILits2,DataStructureFactory<ILits2>> newMiniLearning2() {
        return newMiniLearning(new MixedDataStructureWithBinary());
    }

View Full Code Here

    public static Solver<ILits2,DataStructureFactory<ILits2>> newMiniLearning2() {
        return newMiniLearning(new MixedDataStructureWithBinary());
    }


    public static Solver<ILits2,DataStructureFactory<ILits2>> newMiniLearning2Heap() {
        return newMiniLearningHeap(new MixedDataStructureWithBinary());
    }

View Full Code Here

    public static Solver<ILits,DataStructureFactory<ILits>> newMiniLearningCBWL() {
        return newMiniLearning(new ClausalDataStructureCBHT());
    }


    public static Solver<ILits2,DataStructureFactory<ILits2>> newMiniLearning2NewOrder() {
        return newMiniLearning(new MixedDataStructureWithBinary(),
                new MyOrder());
    }

View Full Code Here

    /**
     * @return MiniSAT with a special data structure from Lawrence Ryan thesis
     *         for managing binary clauses.
     */
    public static Solver<ILits2,DataStructureFactory<ILits2>> newMiniSAT2() {
        return newMiniSAT(new MixedDataStructureWithBinary());
    }

View Full Code Here

    /**
     * @return MiniSAT with a special data structure from Lawrence Ryan thesis
     *         for managing binary clauses.
     */
    public static Solver<ILits2,DataStructureFactory<ILits2>> newMiniSAT2Heap() {
        return newMiniSATHeap(new MixedDataStructureWithBinary());
    }

View Full Code Here

TOP

Related Classes of org.sat4j.minisat.constraints.MixedDataStructureWithBinary

org.sat4j.minisat.constraints.cnf.LearntBinaryClause

org.sat4j.minisat.constraints.cnf.LearntHTClause

org.sat4j.minisat.constraints.cnf.Lits2

org.sat4j.minisat.constraints.cnf.UnitClause

org.sat4j.minisat.SolverFactory

org.sat4j.specs.IVecInt

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.