public class SolverManagerProperties extends Object
Constructor and Description |
---|
SolverManagerProperties() |
Modifier and Type | Method and Description |
---|---|
String |
getParallelSolverCount() |
void |
setParallelSolverCount(String parallelSolverCount) |
Copyright © 2006–2020 JBoss by Red Hat. All rights reserved.