Examples with ChoiceManager at.ac.tuwien.kr.alpha.core.solver.ChoiceManager used on opensource projects

Example 1 with ChoiceManager

use of at.ac.tuwien.kr.alpha.core.solver.ChoiceManager in project Alpha by alpha-asp.

the class HeapOfActiveAtomsTest method setUp.

@BeforeEach
public void setUp() {
    atomStore = new AtomStoreImpl();
    assignment = new TrailAssignment(atomStore);
    noGoodStore = new NoGoodStoreAlphaRoaming(assignment);
    ChoiceManager choiceManager = new PseudoChoiceManager(assignment, noGoodStore);
    this.vsids = new VSIDS(assignment, choiceManager, MOMs.DEFAULT_STRATEGY);
}

Example 2 with ChoiceManager

use of at.ac.tuwien.kr.alpha.core.solver.ChoiceManager in project Alpha by alpha-asp.

the class BranchingHeuristicFactoryTest method setUp.

@BeforeEach
public void setUp() {
    AtomStore atomStore = new AtomStoreImpl();
    WritableAssignment assignment = new TrailAssignment(atomStore);
    NoGoodStore store = new NoGoodStoreAlphaRoaming(assignment, debugInternalChecks);
    this.choiceManager = new ChoiceManager(assignment, store);
}