else {
final DirectedBinaryDomainCombination dc = new DirectedBinaryDomainCombination( n_terminal, c_terminal );
DDC_POOL.put( code, dc );
+ if ( VERBOSE && ( DDC_POOL.size() % 100 == 0 ) ) {
+ System.out.println( " ddc pool size: " + DDC_POOL.size() );
+ }
return dc;
}
}