Home
last modified time | relevance | path

Searched refs:bddresized (Results 1 – 9 of 9) sorted by relevance

/dports/science/buddy/buddy-2.4/src/
H A Dkernel.c103 int bddresized; /* Flag indicating a resize of the nodetable */ variable
186 bddresized = 0; in bdd_init()
1392 bddresized = 1; in bdd_noderesize()
H A Dkernel.h109 extern int bddresized;
H A Dbddop.c301 if (bddresized) in checkresize()
303 bddresized = 0; in checkresize()
/dports/math/spot/spot-2.10.2/buddy/src/
H A Dkernel.c102 int bddresized; /* Flag indicating a resize of the nodetable */ variable
196 bddresized = 0; in bdd_init()
1513 bddresized = 1; in bdd_noderesize()
H A Dkernel.h134 extern int bddresized;
H A Dbddop.c334 if (bddresized) in checkresize()
336 bddresized = 0; in checkresize()
/dports/math/py-spot/spot-2.10.2/buddy/src/
H A Dkernel.c102 int bddresized; /* Flag indicating a resize of the nodetable */ variable
196 bddresized = 0; in bdd_init()
1513 bddresized = 1; in bdd_noderesize()
H A Dkernel.h134 extern int bddresized;
H A Dbddop.c334 if (bddresized) in checkresize()
336 bddresized = 0; in checkresize()