Package | Description |
---|---|
exploration.parameters.oneDimension |
package contains exploration parameters for all one-dimensional
exploration.
|
exploration.parameters.twoDimension |
package contains exploration parameters for all two-dimensional
exploration.
|
Modifier and Type | Field and Description |
---|---|
private UnfoldingScheduling |
PeriodUnfoldingParams.satSolver
Solver being used to determine the period cost.
|
Modifier and Type | Method and Description |
---|---|
void |
PeriodUnfoldingParams.setSolver(UnfoldingScheduling solver)
Set the SMT solver for exploration purposes.
|
Modifier and Type | Field and Description |
---|---|
private UnfoldingScheduling |
PeriodProcUnfolding.satSolver
Solver being used for the Exploration.
|
Modifier and Type | Method and Description |
---|---|
void |
PeriodProcUnfolding.setSolver(UnfoldingScheduling solver)
Set the SMT solver for exploration purposes.
|