trassert.h File Reference

#include "context.h"

Defines

#define switch_to_trie_assert
#define switch_from_trie_assert

Functions

int trie_assert (CTXTdecl)
int trie_retract (CTXTdecl)
int trie_retract_safe (CTXTdecl)

Define Documentation

#define switch_from_trie_assert
 

Value:

{       \
   smBTN = &smTableBTN;                 \
   smBTHT = &smTableBTHT;               \
}

#define switch_to_trie_assert
 

Value:


Function Documentation

int trie_assert CTXTdecl   ) 
 

int trie_retract CTXTdecl   ) 
 

int trie_retract_safe CTXTdecl   ) 
 


Generated on Wed Jul 26 13:26:54 2006 for XSB by  doxygen 1.4.5