specifies the solverid to user for the solver instance key concode_field_sep boolean async concode_elem_sep String solverId concode_elem_sep String configFile concode_elem_sep int threadPoolSize concode_field_sep int getThreadPoolSize concode_elem_sep void setAsync concode_elem_sep boolean isAsync concode_elem_sep String getSolverId concode_elem_sep void setThreadPoolSize concode_elem_sep String getConfigFile concode_elem_sep void setConfigFile
void function ( String arg0 ) { this . solverId = arg0 ; }