Public Member Functions | Public Attributes | List of all members
optionblk Struct Reference
Collaboration diagram for optionblk:
Collaboration graph

Public Member Functions

void userrefproc (graph *, int *, int *, int, int *, permutation *, set *, int *, int, int)
 
void userautomproc (int, permutation *, int *, int, int, int)
 
void userlevelproc (int *, int *, int, int *, statsblk *, int, int, int, int, int, int)
 
void usernodeproc (graph *, int *, int *, int, int, int, int, int, int)
 
void usertcellproc (graph *, int *, int *, int, int, set *, int *, int *, int, int, int(*)(graph *, int *, int *, int, int, int, int), int, int)
 
void invarproc (graph *, int *, int *, int, int, int, permutation *, int, boolean, int, int)
 

Public Attributes

int getcanon
 
boolean digraph
 
boolean writeautoms
 
boolean writemarkers
 
boolean defaultptn
 
boolean cartesian
 
int linelength
 
FILE * outfile
 
int tc_level
 
int mininvarlevel
 
int maxinvarlevel
 
int invararg
 
dispatchvec * dispatch
 
The documentation for this struct was generated from the following file: