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.