typedefstruct TracesOptions {
boolean getcanon;
boolean writeautoms;
boolean cartesian;
boolean digraph;
boolean defaultptn;
int linelength;
FILE* outfile;
int strategy; /* Only the value 0 is supported in this version. */
int verbosity;
permnode **generators; void (*userautomproc)(int,int*,int);
int (*usercanonproc)(graph*,int*,graph*,int,int,int,int);
boolean weighted;
} TracesOptions;
typedefstruct TracesStats { double grpsize1;
int grpsize2;
int numgenerators;
int numorbits;
int treedepth;
int canupdates;
int errstatus; unsigned long numnodes; unsigned long interrupted; unsigned long peaknodes;
} TracesStats;
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.