| 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.