Public Member Functions | |
| AddSource (DefaultUnfoundedCheck *u) | |
| void | operator() (NodeId bId) const |
| void | operator() (NodeId bId, uint32 idx) const |
Public Attributes | |
| DefaultUnfoundedCheck * | self |
Definition at line 202 of file unfounded_check.h.
| Clasp::DefaultUnfoundedCheck::AddSource::AddSource | ( | DefaultUnfoundedCheck * | u | ) | [inline, explicit] |
Definition at line 203 of file unfounded_check.h.
| void Clasp::DefaultUnfoundedCheck::AddSource::operator() | ( | NodeId | bId | ) | const [inline] |
Definition at line 205 of file unfounded_check.h.
| void Clasp::DefaultUnfoundedCheck::AddSource::operator() | ( | NodeId | bId, |
| uint32 | idx | ||
| ) | const |
Definition at line 272 of file unfounded_check.cpp.
Definition at line 211 of file unfounded_check.h.