#include <AIKBSplayTree.h>
Public Member Functions | |
| AIKBSplayTree (const AIKBSplayTree &rhs) | |
| const AIKBSplayTree & | operator= (const AIKBSplayTree &rhs) |
| const std::vector< AIException > & | find (const AIException &x) |
| bool | isEmpty () const |
| int | totalSize () const |
| int | findStateScore (int stateID, BinaryNode *t, bool first) const |
| void | makeEmpty () |
| bool | insert (const AIException &x, bool disallow_if_prem_name_exists_=false) |
| void | remove (const AIException &x, bool all, int num_of_params_to_check_=-1) |
Friends | |
| class | AIKB |
1.3.6