setIndexLeftBetaMemory( ((IndexLeftBetaMemoryOption) option).isIndexLeftBetaMemory() ); } else if ( option instanceof IndexRightBetaMemoryOption ) { setIndexRightBetaMemory( ((IndexRightBetaMemoryOption) option).isIndexRightBetaMemory() ); } else if ( option instanceof IndexPrecedenceOption ) { setIndexPrecedenceOption( (IndexPrecedenceOption) option );