28 #if __SIZEOF_POINTER__ == 8 34 #include "../DdEval.hpp" 53 bool isThreadSafe()
const {
57 void initialize(
int topLevel)
const {
58 while (BDD_VarUsed() < topLevel + offset) {
63 void evalTerminal(ZBDD& f,
int value)
const {
69 if (level + offset > 0) {
70 ZBDD f1 = values.
get(1);
71 f += f1.Change(BDD_VarOfLev(level + offset));
T const & get(int b) const
Returns the value of the b-th child.
Collection of child node values/levels for DdEval::evalNode function interface.
Base class of DD evaluators.