Examples with DummyGrounder at.ac.tuwien.kr.alpha.core.grounder.DummyGrounder used on opensource projects

Example 1 with DummyGrounder

use of at.ac.tuwien.kr.alpha.core.grounder.DummyGrounder in project Alpha by alpha-asp.

the class SolverStatisticsTests method checkNoGoodCounterStatsByCardinalityUsingDummyGrounder.

@RegressionTest
public void checkNoGoodCounterStatsByCardinalityUsingDummyGrounder(RegressionTestConfig cfg) {
    Solver solver = buildSolverForRegressionTest(atomStore, new DummyGrounder(atomStore), cfg);
    assumeTrue(solver instanceof StatisticsReportingSolver);
    collectAnswerSetsAndCheckNoGoodCounterStatsByCardinality(solver, 2, 1, 1);
}

Example 2 with DummyGrounder

use of at.ac.tuwien.kr.alpha.core.grounder.DummyGrounder in project Alpha by alpha-asp.

the class SolverTests method dummyGrounder.

@RegressionTest
public void dummyGrounder(RegressionTestConfig cfg) {
    AtomStore atomStore = new AtomStoreImpl();
    assertEquals(DummyGrounder.EXPECTED, buildSolverForRegressionTest(atomStore, new DummyGrounder(atomStore), cfg).collectSet());
}

Example 3 with DummyGrounder

use of at.ac.tuwien.kr.alpha.core.grounder.DummyGrounder in project Alpha by alpha-asp.

the class SolverStatisticsTests method checkNoGoodCounterStatsByTypeUsingDummyGrounder.

@RegressionTest
public void checkNoGoodCounterStatsByTypeUsingDummyGrounder(RegressionTestConfig cfg) {
    Solver solver = buildSolverForRegressionTest(atomStore, new DummyGrounder(atomStore), cfg);
    assumeTrue(solver instanceof StatisticsReportingSolver);
    collectAnswerSetsAndCheckNoGoodCounterStatsByType(solver, 4, 0, 0, 0);
}