Package | Description |
---|---|
exploration.parameters.twoDimension |
package contains exploration parameters for all two-dimensional
exploration.
|
solver.distributedMemory.scheduling |
package contains solver for scheduling problem for a distributed memory architecture.
|
Modifier and Type | Field and Description |
---|---|
private LatBuffConstraints |
LatBuffParams.satSolver
Solver being used for the Exploration.
|
Modifier and Type | Method and Description |
---|---|
void |
LatBuffParams.setSolver(LatBuffConstraints solver)
Set the SMT solver for exploration purposes.
|
Modifier and Type | Class and Description |
---|---|
class |
ClusterMutExclNonPipelined
Cluster scheduling for distributed memory.
|