Package | Description |
---|---|
exploration.parameters.threeDimension |
package contains exploration parameters for all three-dimensional
exploration.
|
solver.sharedMemory.combinedSolver.nonpipelined |
package contains solver for scheduling problem for a shared memory architecture for non-pipelined scheduling.
|
Modifier and Type | Field and Description |
---|---|
private LatProcBuffConstraints |
LatProcBuffParams.satSolver
Solver being used to solve this problem.
|
Modifier and Type | Method and Description |
---|---|
void |
LatProcBuffParams.setSolver(LatProcBuffConstraints solver)
Set the SMT solver for exploration purposes.
|
Modifier and Type | Class and Description |
---|---|
class |
MutExNonPipelinedScheduling
Mutual Exclusion solver for non-pipelined scheduling problem
|