Search in sources :

Example 1 with NoGoodStore

use of at.ac.tuwien.kr.alpha.core.solver.NoGoodStore 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);
}
Also used : ChoiceManager(at.ac.tuwien.kr.alpha.core.solver.ChoiceManager) AtomStore(at.ac.tuwien.kr.alpha.core.common.AtomStore) NoGoodStoreAlphaRoaming(at.ac.tuwien.kr.alpha.core.solver.NoGoodStoreAlphaRoaming) NoGoodStore(at.ac.tuwien.kr.alpha.core.solver.NoGoodStore) AtomStoreImpl(at.ac.tuwien.kr.alpha.core.common.AtomStoreImpl) WritableAssignment(at.ac.tuwien.kr.alpha.core.solver.WritableAssignment) TrailAssignment(at.ac.tuwien.kr.alpha.core.solver.TrailAssignment) BeforeEach(org.junit.jupiter.api.BeforeEach)

Example 2 with NoGoodStore

use of at.ac.tuwien.kr.alpha.core.solver.NoGoodStore 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);
}
Also used : AtomStore(at.ac.tuwien.kr.alpha.core.common.AtomStore) NoGoodStoreAlphaRoaming(at.ac.tuwien.kr.alpha.core.solver.NoGoodStoreAlphaRoaming) NoGoodStore(at.ac.tuwien.kr.alpha.core.solver.NoGoodStore) AtomStoreImpl(at.ac.tuwien.kr.alpha.core.common.AtomStoreImpl) WritableAssignment(at.ac.tuwien.kr.alpha.core.solver.WritableAssignment) TrailAssignment(at.ac.tuwien.kr.alpha.core.solver.TrailAssignment) BeforeEach(org.junit.jupiter.api.BeforeEach)

Aggregations

AtomStore (at.ac.tuwien.kr.alpha.core.common.AtomStore)2 AtomStoreImpl (at.ac.tuwien.kr.alpha.core.common.AtomStoreImpl)2 NoGoodStore (at.ac.tuwien.kr.alpha.core.solver.NoGoodStore)2 NoGoodStoreAlphaRoaming (at.ac.tuwien.kr.alpha.core.solver.NoGoodStoreAlphaRoaming)2 TrailAssignment (at.ac.tuwien.kr.alpha.core.solver.TrailAssignment)2 WritableAssignment (at.ac.tuwien.kr.alpha.core.solver.WritableAssignment)2 BeforeEach (org.junit.jupiter.api.BeforeEach)2 ChoiceManager (at.ac.tuwien.kr.alpha.core.solver.ChoiceManager)1