Searched defs:Extra_SymmInfo_t_ (Results 1 – 1 of 1) sorted by relevance
257 struct Extra_SymmInfo_t_ { struct258 int nVars; // the number of variables in the support259 int nVarsMax; // the number of variables in the DD manager260 int nSymms; // the number of pair-wise symmetries261 int nNodes; // the number of nodes in a ZDD (if applicable)262 int * pVars; // the list of all variables present in the support263 char ** pSymms; // the symmetry information