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

Example 1 with NoGoodStoreAlphaRoaming

use of at.ac.tuwien.kr.alpha.core.solver.NoGoodStoreAlphaRoaming 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 NoGoodStoreAlphaRoaming

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

the class VSIDSTest method setUp.

@BeforeEach
public void setUp() {
    atomStore = new AtomStoreImpl();
    TestUtils.fillAtomStore(atomStore, 4);
    assignment = new TrailAssignment(atomStore);
    assignment.growForMaxAtomId();
    noGoodStore = new NoGoodStoreAlphaRoaming(assignment);
    this.vsids = new VSIDS(assignment, new PseudoChoiceManager(assignment, noGoodStore), null);
}

Example 3 with NoGoodStoreAlphaRoaming

use of at.ac.tuwien.kr.alpha.core.solver.NoGoodStoreAlphaRoaming 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);
}

Example 4 with NoGoodStoreAlphaRoaming

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

the class ReplayHeuristicTest method setUp.

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