Examples with Solver at.ac.tuwien.kr.alpha.api.Solver used on opensource projects

Example 11 with Solver

use of at.ac.tuwien.kr.alpha.api.Solver 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);
}

Example 12 with Solver

use of at.ac.tuwien.kr.alpha.api.Solver in project Alpha by alpha-asp.

the class SolverStatisticsTests method checkStatsStringZeroChoices.

@RegressionTest
public void checkStatsStringZeroChoices(RegressionTestConfig cfg) {
    Solver solver = buildSolverForRegressionTest("a.", cfg);
    assumeTrue(solver instanceof StatisticsReportingSolver);
    collectAnswerSetsAndCheckStats(solver, 1, 0, 0, 0, 0, 0, 0, 0);
}

Example 13 with Solver

use of at.ac.tuwien.kr.alpha.api.Solver in project Alpha by alpha-asp.

the class SolverStatisticsTests method checkStatsStringOneChoice.

@RegressionTest
public void checkStatsStringOneChoice(RegressionTestConfig cfg) {
    Solver solver = buildSolverForRegressionTest("a :- not b. b :- not a.", cfg);
    assumeTrue(solver instanceof StatisticsReportingSolver);
    collectAnswerSetsAndCheckStats(solver, 2, 1, 1, 1, 1, 0, 0, 0);
}

Example 14 with Solver

use of at.ac.tuwien.kr.alpha.api.Solver in project Alpha by alpha-asp.

the class AlphaImpl method prepareDebugSolve.

@Override
public DebugSolvingContext prepareDebugSolve(final NormalProgram program, java.util.function.Predicate<Predicate> filter) {
    final DependencyGraph depGraph;
    final ComponentGraph compGraph;
    final AnalyzedProgram analyzed = AnalyzedProgram.analyzeNormalProgram(program);
    final NormalProgram preprocessed;
    if (this.config.isEvaluateStratifiedPart()) {
        preprocessed = new StratifiedEvaluation().apply(analyzed).toNormalProgram();
    } else {
        preprocessed = program;
    }
    depGraph = analyzed.getDependencyGraph();
    compGraph = analyzed.getComponentGraph();
    final Solver solver = prepareSolverFor(analyzed, filter);
    return new DebugSolvingContext() {

        @Override
        public Solver getSolver() {
            return solver;
        }

        @Override
        public NormalProgram getPreprocessedProgram() {
            return preprocessed;
        }

        @Override
        public NormalProgram getNormalizedProgram() {
            return program;
        }

        @Override
        public DependencyGraph getDependencyGraph() {
            return depGraph;
        }

        @Override
        public ComponentGraph getComponentGraph() {
            return compGraph;
        }
    };
}