Examples with ConflictAnalysisResult at.ac.tuwien.kr.alpha.solver.GroundConflictNoGoodLearner.ConflictAnalysisResult used on opensource projects

Example 1 with ConflictAnalysisResult

use of at.ac.tuwien.kr.alpha.solver.GroundConflictNoGoodLearner.ConflictAnalysisResult in project Alpha by alpha-asp.

the class BerkMinTest method learnNoGood.

@Test
public void learnNoGood() {
    NoGood learnedNoGood = new NoGood(1, 2);
    int backjumpLevel = 1;
    boolean clearLastGuessAfterBackjump = true;
    Set<NoGood> noGoodsResponsibleForConflict = Collections.emptySet();
    berkmin.analyzedConflict(new ConflictAnalysisResult(learnedNoGood, backjumpLevel, clearLastGuessAfterBackjump, noGoodsResponsibleForConflict, false));
    assertEquals(learnedNoGood, berkmin.getCurrentTopClause());
}