+ return AdjactantDirectedBinaryDomainCombination.obtainInstance( ids_ary[ 0 ], ids_ary[ 1 ] );
+ }
+
+ public final static AdjactantDirectedBinaryDomainCombination obtainInstance( final String n_terminal,
+ final String c_terminal ) {
+ final int code = calcCode( BasicDomain.obtainIdAsShort( n_terminal ), BasicDomain.obtainIdAsShort( c_terminal ) );
+ if ( ADDC_POOL.containsKey( code ) ) {
+ return ADDC_POOL.get( code );
+ }
+ else {
+ final AdjactantDirectedBinaryDomainCombination dc = new AdjactantDirectedBinaryDomainCombination( n_terminal,
+ c_terminal );
+ ADDC_POOL.put( code, dc );
+ if ( VERBOSE && ( ( ADDC_POOL.size() % 100 ) == 0 ) ) {
+ System.out.println( " addc pool size: " + ADDC_POOL.size() );
+ }
+ return dc;
+ }