setShareAlphaNodes( ((ShareAlphaNodesOption) option).isShareAlphaNodes() ); } else if ( option instanceof ShareBetaNodesOption ) { setShareBetaNodes( ((ShareBetaNodesOption) option).isShareBetaNodes() ); } else if ( option instanceof IndexLeftBetaMemoryOption ) { setIndexLeftBetaMemory( ((IndexLeftBetaMemoryOption) option).isIndexLeftBetaMemory() );