| Modifier and Type | Method and Description |
|---|---|
TerminationProperties |
SolverProperties.getTermination() |
| Modifier and Type | Method and Description |
|---|---|
void |
SolverProperties.setTermination(TerminationProperties termination) |
Copyright © 2006–2020 JBoss by Red Hat. All rights reserved.