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.