Clasp::Test::UnfoundedCheckTest::WrapDefaultUnfoundedCheck Class Reference

Inheritance diagram for Clasp::Test::UnfoundedCheckTest::WrapDefaultUnfoundedCheck:

List of all members.

Public Member Functions
bool	propagate (Solver &s)

---

Detailed Description

Definition at line 54 of file unfounded_check_test.cpp.

---

Member Function Documentation

bool Clasp::Test::UnfoundedCheckTest::WrapDefaultUnfoundedCheck::propagate

(

Solver &

s

)

[inline]

Definition at line 56 of file unfounded_check_test.cpp.

---

The documentation for this class was generated from the following file:

• unfounded_check_test.cpp