Exemple #1
0
 int datasize() const {
     return spec.datasize();
 }
Exemple #2
0
 ZddLookahead(S const& s)
         : spec(s), work(spec.datasize()) {
 }