Examples with NoGood at.ac.tuwien.kr.alpha.common.NoGood used on opensource projects

Example 6 with NoGood

use of at.ac.tuwien.kr.alpha.common.NoGood in project Alpha by alpha-asp.

the class NoGoodStoreAlphaRoamingTest method binaryNoGoodPropagatesTrueFromTrue.

@Test
public void binaryNoGoodPropagatesTrueFromTrue() {
    NoGood noGood = headFirst(-11, 12);
    assertNull(store.add(5, noGood));
    assertTrue(assignment.guess(12, TRUE));
    store.propagate();
    assertTrue(TRUE.equals(assignment.getTruth(11)));
}

Example 7 with NoGood

use of at.ac.tuwien.kr.alpha.common.NoGood in project Alpha by alpha-asp.

the class NoGoodStoreAlphaRoamingTest method naryNoGoodViolatedDuringAdditionAllTrue.

@Test
public void naryNoGoodViolatedDuringAdditionAllTrue() {
    NoGood noGood = new NoGood(1, 2, 3);
    assertTrue(assignment.assign(1, TRUE));
    assertTrue(assignment.assign(2, TRUE));
    assertTrue(assignment.assign(3, TRUE));
    NoGoodStore.ConflictCause conflictCause = store.add(11, noGood);
    assertNotNull(conflictCause);
    assertNotNull(conflictCause.violatedNoGood);
}

Example 8 with NoGood

use of at.ac.tuwien.kr.alpha.common.NoGood in project Alpha by alpha-asp.

the class NoGoodStoreAlphaRoamingTest method binaryNoGoodPropagatesTrueFromFalse.

@Test
public void binaryNoGoodPropagatesTrueFromFalse() {
    NoGood noGood = headFirst(-11, -12);
    assertNull(store.add(5, noGood));
    assertTrue(assignment.guess(12, FALSE));
    store.propagate();
    assertTrue(TRUE.equals(assignment.getTruth(11)));
}

Example 9 with NoGood

use of at.ac.tuwien.kr.alpha.common.NoGood in project Alpha by alpha-asp.

the class NoGoodStoreAlphaRoamingTest method propagateNaryMBT.

@Test
public void propagateNaryMBT() {
    final NoGood noGood = headFirst(-1, 2, 3);
    assignment.assign(2, MBT);
    assignment.assign(3, MBT);
    store.add(1, noGood);
    store.propagate();
    assertEquals(MBT, assignment.getTruth(1));
}

Example 10 with NoGood

use of at.ac.tuwien.kr.alpha.common.NoGood in project Alpha by alpha-asp.

the class NoGoodStoreAlphaRoamingTest method binaryNoGoodViolatedAfterAddition.

@Test
public void binaryNoGoodViolatedAfterAddition() {
    NoGood noGood = new NoGood(1, 2);
    assertNull(store.add(11, noGood));
    assertTrue(assignment.assign(1, MBT));
    assertTrue(assignment.assign(2, MBT));
    store.propagate();
    assertNotNull(store.getViolatedNoGood());
}