| Public Member Functions | |
| Frame (uint32 lev, uint32 h) | |
| Public Attributes | |
| uint32 | dl | 
| uint32 | head | 
Definition at line 391 of file heuristics.h.
| Clasp::DomainHeuristic::Frame::Frame | ( | uint32 | lev, | 
| uint32 | h | ||
| ) |  [inline] | 
Definition at line 392 of file heuristics.h.
Definition at line 393 of file heuristics.h.
Definition at line 394 of file heuristics.h.