Package | Description |
---|---|
exploration |
package contains classes for performing design space exploration.
|
exploration.interfaces |
package contains interfaces that must be implmented by the solver class.
|
exploration.parameters.oneDimension |
package contains exploration parameters for all one-dimensional
exploration.
|
exploration.parameters.threeDimension |
package contains exploration parameters for all three-dimensional
exploration.
|
exploration.parameters.twoDimension |
package contains exploration parameters for all two-dimensional
exploration.
|
exploration.paretoExploration.gridexploration |
package contains algorithms in order to perform
multi-dimensional design space exploration.
|
solver |
package contains Z3 Specific code.
|
solver.distributedMemory.mapping |
package contains solver for mapping problem (partition + allocation + communication cost).
|
solver.distributedMemory.partitioning |
package contains solver for partitioning problem.
|
solver.distributedMemory.placement |
package contains solver for placement problem.
|
solver.distributedMemory.scheduling |
package contains solver for scheduling problem for a distributed memory architecture.
|
solver.sharedMemory.combinedSolver |
package contains solver for scheduling problem for a shared memory architecture.
|
solver.sharedMemory.combinedSolver.nonpipelined |
package contains solver for scheduling problem for a shared memory architecture for non-pipelined scheduling.
|
solver.sharedMemory.combinedSolver.pipelined |
package contains solver for scheduling problem for a
shared memory architecture for pipelined scheduling.
|
Class and Description |
---|
Z3Solver.SatResult
Result of a SMT query
|
Class and Description |
---|
Z3Solver.SatResult
Result of a SMT query
|
Class and Description |
---|
Z3Solver.SatResult
Result of a SMT query
|
Class and Description |
---|
Z3Solver.SatResult
Result of a SMT query
|
Class and Description |
---|
Z3Solver.SatResult
Result of a SMT query
|
Class and Description |
---|
Z3Solver.SatResult
Result of a SMT query
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver.SatResult
Result of a SMT query
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver
Expose the Z3 Solver to our framework.
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver
Expose the Z3 Solver to our framework.
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver
Expose the Z3 Solver to our framework.
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver
Expose the Z3 Solver to our framework.
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver
Expose the Z3 Solver to our framework.
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver
Expose the Z3 Solver to our framework.
|
Class and Description |
---|
Z3Context
This class contains a Z3 Solver context.
|
Z3Solver
Expose the Z3 Solver to our framework.
|