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