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; unsignedlong numnodes; unsignedlong interrupted; unsignedlong 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.