Example 1 with ChoiceGrounder
use of at.ac.tuwien.kr.alpha.core.grounder.ChoiceGrounder in project Alpha by alpha-asp.
the class SolverTests method choiceGrounder.
@RegressionTest
public void choiceGrounder(RegressionTestConfig cfg) {
AtomStore atomStore = new AtomStoreImpl();
assertEquals(ChoiceGrounder.EXPECTED, buildSolverForRegressionTest(atomStore, new ChoiceGrounder(atomStore), cfg).collectSet());
}
Also used :
AtomStore(at.ac.tuwien.kr.alpha.core.common.AtomStore)
AtomStoreImpl(at.ac.tuwien.kr.alpha.core.common.AtomStoreImpl)
ChoiceGrounder(at.ac.tuwien.kr.alpha.core.grounder.ChoiceGrounder)
TestUtils.buildSolverForRegressionTest(at.ac.tuwien.kr.alpha.core.test.util.TestUtils.buildSolverForRegressionTest)
Aggregations
AtomStore (at.ac.tuwien.kr.alpha.core.common.AtomStore)1
AtomStoreImpl (at.ac.tuwien.kr.alpha.core.common.AtomStoreImpl)1
ChoiceGrounder (at.ac.tuwien.kr.alpha.core.grounder.ChoiceGrounder)1
TestUtils.buildSolverForRegressionTest (at.ac.tuwien.kr.alpha.core.test.util.TestUtils.buildSolverForRegressionTest)1
