#ident "The technology is licensed by the Massachusetts Institute of Technology, Rutgers State University of New Jersey, and the Research Foundation of State University of New York at Stony Brook under United States of America Serial No. 11/760379 and to the patents and/or patent applications resulting from it."
#ifndef TOKU_TXNID_SET_H
#define TOKU_TXNID_SET_H
#include<ft/fttypes.h>
#include<util/omt.h>
namespacetoku{
classtxnid_set{
public:
// effect: Creates an empty set. Does not malloc space for
// any entries yet. That is done lazily on add().
voidcreate(void);
// effect: Destroy the set's internals.
voiddestroy(void);
// returns: True if the given txnid is a member of the set.
boolcontains(TXNIDid)const;
// effect: Adds a given txnid to the set if it did not exist
voidadd(TXNIDtxnid);
// effect: Deletes a txnid from the set if it exists.
voidremove(TXNIDtxnid);
// returns: Size of the set
size_tsize(void)const;
// returns: The "i'th" id in the set, as if it were sorted.