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.