Examples of SearchParams

com.infoclinika.common.model.sequest.SearchParams
models.support.SearchParams
org.sat4j.minisat.core.SearchParams
Some parameters used during the search. @author daniel

Examples of com.infoclinika.common.model.sequest.SearchParams

        }
        return false;
    }


    private List<SequestSearchPerFileWrapper> createSequestSearchTasksPerFile(ExperimentSearch experimentSearch) {
        final SearchParams searchParams = SEARCH_PARAMS_TRANSFORMER.apply(experimentSearch.getData().getParams());
        return transform(newLinkedList(experimentSearch.getRuns()), new Function<SearchRun, SequestSearchPerFileWrapper>() {
            @Override
            public SequestSearchPerFileWrapper apply(SearchRun run) {
                return new SequestSearchPerFileWrapper(run.getId(), Long.valueOf(run.getFile().getProcessedDataID()), searchParams, targetBucket);
            }

View Full Code Here

Examples of models.support.SearchParams


    @Test
    public void findOnePage() throws Exception {
        // Given
        // When
        SearchParams searchParam = new SearchParams()
            .add("project.owner", "yobi", Matching.EQUALS)
            .add("project.name", "projectYobi", Matching.EQUALS)
            .add("body", "", Matching.CONTAINS);
        OrderParams orderParams = new OrderParams().add("id", Direction.DESC);
        Page<Posting> page = FinderTemplate.getPage(orderParams, searchParam, Posting.finder, AbstractPostingApp.ITEMS_PER_PAGE, 0);

View Full Code Here

Examples of org.sat4j.minisat.core.SearchParams

    }


    public static Solver<ILits,DataStructureFactory<ILits>> newMiniLearningHeapRsatExpSimpBiere() {
        Solver<ILits,DataStructureFactory<ILits>> solver = newMiniLearningHeapRsatExpSimp();
        solver.setRestartStrategy(new ArminRestarts());
        solver.setSearchParams(new SearchParams(1.1, 100));
        return solver;
    }

View Full Code Here

Examples of org.sat4j.minisat.core.SearchParams


    public static Solver<ILits,DataStructureFactory<ILits>> newMiniSatHeapRsatExpSimpBiere() {
        Solver<ILits,DataStructureFactory<ILits>> solver = newMiniSATHeapExpSimp();
        solver.setOrder(new VarOrderHeap<ILits>(new RSATPhaseSelectionStrategy()));
        solver.setRestartStrategy(new ArminRestarts());
        solver.setSearchParams(new SearchParams(1.1, 100));
        return solver;
    }

View Full Code Here

Examples of org.sat4j.minisat.core.SearchParams

     * @return a default MiniLearning without restarts.
     */
    public static Solver<ILits,DataStructureFactory<ILits>> newMiniLearningHeapEZSimpNoRestarts() {
        LimitedLearning<ILits,DataStructureFactory<ILits>> learning = new PercentLengthLearning<ILits,DataStructureFactory<ILits>>(10);
        Solver<ILits,DataStructureFactory<ILits>> solver = new Solver<ILits,DataStructureFactory<ILits>>(new FirstUIP(), learning,
                new MixedDataStructureDaniel(), new SearchParams(
                        Integer.MAX_VALUE), new VarOrderHeap<ILits>(),
                new MiniSATRestarts());
        learning.setSolver(solver);
        solver.setSimplifier(solver.SIMPLE_SIMPLIFICATION);
        return solver;

View Full Code Here

Examples of org.sat4j.minisat.core.SearchParams

     * @return a default MiniLearning with restarts beginning at 1000 conflicts.
     */
    public static Solver<ILits,DataStructureFactory<ILits>> newMiniLearningHeapEZSimpLongRestarts() {
        LimitedLearning<ILits,DataStructureFactory<ILits>> learning = new PercentLengthLearning<ILits,DataStructureFactory<ILits>>(10);
        Solver<ILits,DataStructureFactory<ILits>> solver = new Solver<ILits,DataStructureFactory<ILits>>(new FirstUIP(), learning,
                new MixedDataStructureDaniel(), new SearchParams(1000),
                new VarOrderHeap<ILits>(), new MiniSATRestarts());
        learning.setSolver(solver);
        solver.setSimplifier(solver.SIMPLE_SIMPLIFICATION);
        return solver;
    }

View Full Code Here

Examples of org.sat4j.minisat.core.SearchParams

     * @return MiniSAT without restarts.
     */
    public static Solver<ILits,DataStructureFactory<ILits>> newMiniSATNoRestarts() {
        MiniSATLearning<ILits,DataStructureFactory<ILits>> learning = new MiniSATLearning<ILits,DataStructureFactory<ILits>>();
        Solver<ILits,DataStructureFactory<ILits>> solver = new Solver<ILits,DataStructureFactory<ILits>>(new FirstUIP(), learning,
                new MixedDataStructureDaniel(), new SearchParams(
                        Integer.MAX_VALUE), new VarOrder<ILits>(),
                new MiniSATRestarts());
        learning.setDataStructureFactory(solver.getDSFactory());
        learning.setVarActivityListener(solver);
        return solver;

View Full Code Here

Examples of org.sat4j.minisat.core.SearchParams

     *         restarts, with a Jeroslow/Wang kind of heuristics.
     */
    public static Solver<ILits23,DataStructureFactory<ILits23>> newMini3SAT() {
        LimitedLearning<ILits23,DataStructureFactory<ILits23>> learning = new FixedLengthLearning<ILits23,DataStructureFactory<ILits23>>(3);
        Solver<ILits23,DataStructureFactory<ILits23>> solver = new Solver<ILits23,DataStructureFactory<ILits23>>(new FirstUIP(), learning,
                new MixedDataStructureWithBinaryAndTernary(), new SearchParams(
                        Integer.MAX_VALUE), new JWOrder(),
                new MiniSATRestarts());
        learning.setSolver(solver);
        return solver;
    }

View Full Code Here

Examples of org.sat4j.minisat.core.SearchParams

     * @see #newMini3SAT()
     */
    public static Solver<ILits23,DataStructureFactory<ILits23>> newMini3SATb() {
        MiniSATLearning<ILits23,DataStructureFactory<ILits23>> learning = new MiniSATLearning<ILits23,DataStructureFactory<ILits23>>();
        Solver<ILits23,DataStructureFactory<ILits23>> solver = new Solver<ILits23,DataStructureFactory<ILits23>>(new FirstUIP(), learning,
                new MixedDataStructureWithBinaryAndTernary(), new SearchParams(
                        Integer.MAX_VALUE), new JWOrder(),
                new MiniSATRestarts());
        learning.setDataStructureFactory(solver.getDSFactory());
        learning.setVarActivityListener(solver);
        return solver;

View Full Code Here

TOP

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.