Example 26 with AtomStore
use of at.ac.tuwien.kr.alpha.core.common.AtomStore 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());
}
Also used :
AtomStore(at.ac.tuwien.kr.alpha.core.common.AtomStore)
Random(java.util.Random)
NaiveNoGoodStore(at.ac.tuwien.kr.alpha.core.solver.NaiveNoGoodStore)
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)26
AtomStoreImpl (at.ac.tuwien.kr.alpha.core.common.AtomStoreImpl)26
TrailAssignment (at.ac.tuwien.kr.alpha.core.solver.TrailAssignment)20
Test (org.junit.jupiter.api.Test)18
BasicAtom (at.ac.tuwien.kr.alpha.api.programs.atoms.BasicAtom)11
CompiledProgram (at.ac.tuwien.kr.alpha.core.programs.CompiledProgram)10
WritableAssignment (at.ac.tuwien.kr.alpha.core.solver.WritableAssignment)10
Atom (at.ac.tuwien.kr.alpha.api.programs.atoms.Atom)9
ASPCore2Program (at.ac.tuwien.kr.alpha.api.programs.ASPCore2Program)8
NormalProgram (at.ac.tuwien.kr.alpha.api.programs.NormalProgram)8
Predicate (at.ac.tuwien.kr.alpha.api.programs.Predicate)8
Literal (at.ac.tuwien.kr.alpha.api.programs.literals.Literal)7
BasicSubstitution (at.ac.tuwien.kr.alpha.commons.substitutions.BasicSubstitution)7
WorkingMemory (at.ac.tuwien.kr.alpha.core.grounder.WorkingMemory)7
StratifiedEvaluation (at.ac.tuwien.kr.alpha.core.programs.transformation.StratifiedEvaluation)7
LinkedHashSet (java.util.LinkedHashSet)7
Substitution (at.ac.tuwien.kr.alpha.api.grounder.Substitution)6
NoGood (at.ac.tuwien.kr.alpha.core.common.NoGood)6
InternalProgram (at.ac.tuwien.kr.alpha.core.programs.InternalProgram)6
BeforeEach (org.junit.jupiter.api.BeforeEach)5
