Package | Description |
---|---|
exploration.parameters.twoDimension |
package contains exploration parameters for all two-dimensional
exploration.
|
solver.distributedMemory.mapping |
package contains solver for mapping problem (partition + allocation + communication cost).
|
solver.distributedMemory.partitioning |
package contains solver for partitioning problem.
|
Modifier and Type | Field and Description |
---|---|
private WrkLdCommCostConstraints |
WrkLoadCommCostParams.satSolver
Solver being used for the Exploration.
|
Modifier and Type | Method and Description |
---|---|
void |
WrkLoadCommCostParams.setSolver(WrkLdCommCostConstraints solver)
Set the SMT solver for exploration purposes.
|
Modifier and Type | Class and Description |
---|---|
class |
MappingCommSolver
Combine solving of mapping and communication cost problem.
|
Modifier and Type | Class and Description |
---|---|
class |
GenericPartitionSolver
Generic partition solve which finds a solution with
workload assigned to a group, communication cost between the groups
and number of groups.
|
class |
PartitionSolverHSDF
An HSDF based partition solver for application graph.
|
class |
PartitionSolverSDF
An SDF based partition solver for application graph.
|