Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

AIKBSplayTree Class Reference

#include <AIKBSplayTree.h>

List of all members.

Public Member Functions

 AIKBSplayTree (const AIKBSplayTree &rhs)
const AIKBSplayTreeoperator= (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


Detailed Description

AIKBSplayTree implements the knowledge base's dictionary methods. Frequently used or recently accessed nodes sit near the top of the tree, allowing fast search. All operations complexity: Expected Time O(lg N) [amortized] Worst-Case Time O(N)


The documentation for this class was generated from the following file:
Generated on Sun Apr 11 05:05:56 2004 for FSM_API by doxygen 1.3.6