Definition at line 28 of file unfounded_check_test.cpp.
Clasp::Test::UnfoundedCheckTest::UnfoundedCheckTest | ( | ) | [inline] |
Definition at line 58 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::attachUfs | ( | ) | [inline, private] |
Definition at line 503 of file unfounded_check_test.cpp.
Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST | ( | testApproxUfs | ) | [private] |
Clasp::Test::UnfoundedCheckTest::CPPUNIT_TEST_SUITE_END | ( | ) | [private] |
void Clasp::Test::UnfoundedCheckTest::setUp | ( | ) | [inline] |
Definition at line 59 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::setupSimpleProgram | ( | ) | [inline, private] |
Definition at line 507 of file unfounded_check_test.cpp.
Solver& Clasp::Test::UnfoundedCheckTest::solver | ( | ) | [inline] |
Definition at line 65 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::tearDown | ( | ) | [inline] |
Definition at line 62 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testAllUncoloredNoUnfounded | ( | ) | [inline] |
Definition at line 66 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testAlternativeSourceNotUnfounded | ( | ) | [inline] |
Definition at line 73 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testApproxUfs | ( | ) | [inline] |
Definition at line 473 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testCardInterplayOnBT | ( | ) | [inline] |
Definition at line 321 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testChoiceCardInterplay | ( | ) | [inline] |
Definition at line 302 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testDependentExtReason | ( | ) | [inline] |
Definition at line 239 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testEqBodyDiffType | ( | ) | [inline] |
Definition at line 283 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testIncrementalLearnFact | ( | ) | [inline] |
Definition at line 448 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testIncrementalUfs | ( | ) | [inline] |
Definition at line 361 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testInitialStopConflict | ( | ) | [inline] |
Definition at line 415 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testInitNoSource | ( | ) | [inline] |
Definition at line 346 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testNtExtendedBug | ( | ) | [inline] |
Definition at line 166 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testNtExtendedFalse | ( | ) | [inline] |
Definition at line 205 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testOnlyOneSourceUnfoundedIfMinus | ( | ) | [inline] |
Definition at line 82 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testWithSimpleCardinalityConstraint | ( | ) | [inline] |
Definition at line 97 of file unfounded_check_test.cpp.
void Clasp::Test::UnfoundedCheckTest::testWithSimpleWeightConstraint | ( | ) | [inline] |
Definition at line 121 of file unfounded_check_test.cpp.
Definition at line 502 of file unfounded_check_test.cpp.
Definition at line 500 of file unfounded_check_test.cpp.
Definition at line 501 of file unfounded_check_test.cpp.