model.h File Reference


Data Structures

struct  _dtd_state

Defines

#define MAXOMITTED   32
#define CDATA_ELEMENT   ((dtd_element *)1)

Typedefs

typedef _dtd_state dtd_state

Functions

dtd_statenew_dtd_state (void)
dtd_statemake_dtd_transition (dtd_state *here, dtd_element *e)
int same_state (dtd_state *final, dtd_state *here)
int find_omitted_path (dtd_state *state, dtd_element *e, dtd_element **path)
dtd_statemake_state_engine (dtd_element *e)
void free_state_engine (dtd_state *state)
void state_allows_for (dtd_state *state, dtd_element **allow, int *n)

Define Documentation

#define CDATA_ELEMENT   ((dtd_element *)1)
 

#define MAXOMITTED   32
 


Typedef Documentation

typedef struct _dtd_state dtd_state
 


Function Documentation

int find_omitted_path dtd_state state,
dtd_element e,
dtd_element **  path
 

void free_state_engine dtd_state state  ) 
 

dtd_state* make_dtd_transition dtd_state here,
dtd_element e
 

dtd_state* make_state_engine dtd_element e  ) 
 

dtd_state* new_dtd_state void   ) 
 

int same_state dtd_state final,
dtd_state here
 

void state_allows_for dtd_state state,
dtd_element **  allow,
int n
 


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