Public Member Functions | |
void | operator() (NodeId bId) const |
void | operator() (NodeId bId, uint32 idx) const |
RemoveSource (DefaultUnfoundedCheck *u, bool add=false) | |
Public Attributes | |
bool | addTodo |
DefaultUnfoundedCheck * | self |
Definition at line 213 of file unfounded_check.h.
Clasp::DefaultUnfoundedCheck::RemoveSource::RemoveSource | ( | DefaultUnfoundedCheck * | u, |
bool | add = false |
||
) | [inline, explicit] |
Definition at line 214 of file unfounded_check.h.
void Clasp::DefaultUnfoundedCheck::RemoveSource::operator() | ( | NodeId | bId | ) | const [inline] |
Definition at line 216 of file unfounded_check.h.
void Clasp::DefaultUnfoundedCheck::RemoveSource::operator() | ( | NodeId | bId, |
uint32 | idx | ||
) | const |
Definition at line 285 of file unfounded_check.cpp.
Definition at line 224 of file unfounded_check.h.
Definition at line 223 of file unfounded_check.h.