@Test(groups = "1s", timeOut = 60000) public void testM2(){ Model model = new Model(); IntVar x = model.intVar(0,1); x.eq(0).post(); x.eq(1).post(); model.getSolver().setSearch(Search.conflictOrderingSearch( Search.domOverWDegSearch(model.retrieveIntVars( true )) )); model.getSolver().findSolution(); }
public ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy) { super(mainStrategy.vars); this.model = model; this.mainStrategy = mainStrategy; vars = new ArrayList<>(); var2pos = new TIntIntHashMap(16, .5f, -1, -1); prev = new TIntArrayList(); next = new TIntArrayList(); pcft = -1; this.scope = new HashSet<>(Arrays.asList(mainStrategy.vars)); }
ConflictOrderingSearch extends AbstractStrategy<V> implements IMonitorContradiction { public ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy) { super(mainStrategy.vars); this.model = model; this.mainStrategy = mainStrategy; vars = new ArrayList<>(); var2pos = new TIntIntHashMap(16, .5f, -1, -1); prev = new TIntArrayList(); next = new TIntArrayList(); pcft = -1; this.scope = new HashSet<>(Arrays.asList(mainStrategy.vars)); } }
ConflictOrderingSearch extends AbstractStrategy<V> implements IMonitorContradiction { public ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy) { super(mainStrategy.vars); this.model = model; this.mainStrategy = mainStrategy; vars = new ArrayList<>(); var2pos = new TIntIntHashMap(16, .5f, -1, -1); prev = new TIntArrayList(); next = new TIntArrayList(); pcft = -1; this.scope = new HashSet<>(Arrays.asList(mainStrategy.vars)); } ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy); }
ConflictOrderingSearch extends AbstractStrategy<V> implements IMonitorContradiction { public ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy) { super(mainStrategy.vars); this.model = model; this.mainStrategy = mainStrategy; vars = new ArrayList<>(); var2pos = new TIntIntHashMap(16, .5f, -1, -1); prev = new TIntArrayList(); next = new TIntArrayList(); pcft = -1; this.scope = new HashSet<>(Arrays.asList(mainStrategy.vars)); } ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy); @Override boolean init(); @Override void remove(); @SuppressWarnings("unchecked") @Override Decision<V> getDecision(); @Override void onContradiction(ContradictionException cex); }
ConflictOrderingSearch extends AbstractStrategy<V> implements IMonitorContradiction { public ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy) { super(mainStrategy.vars); this.model = model; this.mainStrategy = mainStrategy; vars = new ArrayList<>(); var2pos = new TIntIntHashMap(16, .5f, -1, -1); prev = new TIntArrayList(); next = new TIntArrayList(); pcft = -1; this.scope = new HashSet<>(Arrays.asList(mainStrategy.vars)); } ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy); @Override boolean init(); @Override void remove(); @SuppressWarnings("unchecked") @Override Decision<V> getDecision(); @Override void onContradiction(ContradictionException cex);  }