Package | Description |
---|---|
exploration.parameters.twoDimension |
package contains exploration parameters for all two-dimensional
exploration.
|
solver.sharedMemory.combinedSolver.pipelined |
package contains solver for scheduling problem for a
shared memory architecture for pipelined scheduling.
|
Modifier and Type | Field and Description |
---|---|
private PeriodProcConstraints |
PeriodProcParams.satSolver
Solver being used for the Exploration.
|
Modifier and Type | Method and Description |
---|---|
void |
PeriodProcParams.setSolver(PeriodProcConstraints solver)
Set the SMT solver for exploration purposes.
|
Modifier and Type | Class and Description |
---|---|
class |
MutExPipelinedScheduling
The pipelined problem is solved using this class by
a Mutual exclusion solver.
|
class |
UnfoldingScheduling
The pipelined problem is solved by unfolding the application graph by a number of
times and scheduling it.
|