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

Example 1 with NaiveNoGoodStore

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

the class AlphaHeuristicTestAssumptions method setUp.

@BeforeEach
public void setUp() {
    String testProgram = "" + "b1." + "b2." + "{b3}." + "{b4}." + "h :- b1, b2, not b3, not b4.";
    CompiledProgram internalProgram = parseAndPreprocess.apply(testProgram);
    atomStore = new AtomStoreImpl();
    grounder = new NaiveGrounder(internalProgram, atomStore, true);
    assignment = new TrailAssignment(atomStore);
    choiceManager = new TestableChoiceManager(assignment, new NaiveNoGoodStore(assignment));
}

Example 2 with NaiveNoGoodStore

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

the class BerkMinTest method setUp.

@BeforeEach
public void setUp() {
    AtomStore atomStore = new AtomStoreImpl();
    TestUtils.fillAtomStore(atomStore, 2);
    WritableAssignment assignment = new TrailAssignment(atomStore);
    assignment.growForMaxAtomId();
    this.berkmin = new BerkMin(assignment, new PseudoChoiceManager(assignment, new NaiveNoGoodStore(assignment)), new Random());
}