Lines Matching defs:support
100 static int supportID; /* Current ID (true value) for support */
101 static int supportMin; /* Min. used level in support calc. */
102 static int supportMax; /* Max. used level in support calc. */
103 static int* supportSet; /* The found support set */
2046 SHORT {* returns the variable support of a BDD *}
2049 the support of {\tt r}. *}
2064 /* On-demand allocation of support set */
2078 * - instead of always memsetting support to zero, we use
2114 static void support_rec(int r, int* support)
2125 support[LEVELp(node)] = supportID;
2132 support_rec(LOWp(node), support);
2133 support_rec(HIGHp(node), support);