Example 6 with StatisticsReportingSolver
use of at.ac.tuwien.kr.alpha.api.StatisticsReportingSolver 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);
}
Also used :
Solver(at.ac.tuwien.kr.alpha.api.Solver)
StatisticsReportingSolver(at.ac.tuwien.kr.alpha.api.StatisticsReportingSolver)
StatisticsReportingSolver(at.ac.tuwien.kr.alpha.api.StatisticsReportingSolver)
TestUtils.buildSolverForRegressionTest(at.ac.tuwien.kr.alpha.core.test.util.TestUtils.buildSolverForRegressionTest)
Aggregations
StatisticsReportingSolver (at.ac.tuwien.kr.alpha.api.StatisticsReportingSolver)6
Solver (at.ac.tuwien.kr.alpha.api.Solver)5
TestUtils.buildSolverForRegressionTest (at.ac.tuwien.kr.alpha.core.test.util.TestUtils.buildSolverForRegressionTest)4
AnswerSet (at.ac.tuwien.kr.alpha.api.AnswerSet)2
DummyGrounder (at.ac.tuwien.kr.alpha.core.grounder.DummyGrounder)2
Alpha (at.ac.tuwien.kr.alpha.api.Alpha)1
DebugSolvingContext (at.ac.tuwien.kr.alpha.api.DebugSolvingContext)1
AlphaConfig (at.ac.tuwien.kr.alpha.api.config.AlphaConfig)1
InputConfig (at.ac.tuwien.kr.alpha.api.config.InputConfig)1
SystemConfig (at.ac.tuwien.kr.alpha.api.config.SystemConfig)1
AlphaImpl (at.ac.tuwien.kr.alpha.api.impl.AlphaImpl)1
ASPCore2Program (at.ac.tuwien.kr.alpha.api.programs.ASPCore2Program)1
NormalProgram (at.ac.tuwien.kr.alpha.api.programs.NormalProgram)1
ComponentGraph (at.ac.tuwien.kr.alpha.api.programs.analysis.ComponentGraph)1
DependencyGraph (at.ac.tuwien.kr.alpha.api.programs.analysis.DependencyGraph)1
AnswerSetFormatter (at.ac.tuwien.kr.alpha.api.util.AnswerSetFormatter)1
ComponentGraphWriter (at.ac.tuwien.kr.alpha.app.ComponentGraphWriter)1
DependencyGraphWriter (at.ac.tuwien.kr.alpha.app.DependencyGraphWriter)1
CommandLineParser (at.ac.tuwien.kr.alpha.app.config.CommandLineParser)1
SimpleAnswerSetFormatter (at.ac.tuwien.kr.alpha.commons.util.SimpleAnswerSetFormatter)1
