setShareBetaNodes( ((ShareBetaNodesOption) option).isShareBetaNodes() ); } else if ( option instanceof IndexLeftBetaMemoryOption ) { setIndexLeftBetaMemory( ((IndexLeftBetaMemoryOption) option).isIndexLeftBetaMemory() ); } else if ( option instanceof IndexRightBetaMemoryOption ) { setIndexRightBetaMemory( ((IndexRightBetaMemoryOption) option).isIndexRightBetaMemory() );