Package edu.uci.eecs.doc.clepsydra.ipet

Provides interfaces to integer linear programming (ILP) solvers and an implementation of the implicit path enumeration technique (IPET).

See:
          Description

Interface Summary
ILPSolver A common interface to integer linear programming libraries such as GLPK and lp_solve.
 

Class Summary
GLPKAdapter Provides an implementation of the ILPSolver interface for the GNU Linear Programming Kit.
IPETAnalysisStrategy This WCET analysis strategy formulates the analysis as an integer linear programming (ILP) problem and uses a standard ILP solver to compute the solution.
LPSolveAdapter Provides an implementation of the ILPSolver interface for lp_solve.
 

Exception Summary
ILPException An exception indicating that the ILP solver encountered an error and could not continue.
 

Package edu.uci.eecs.doc.clepsydra.ipet Description

Provides interfaces to integer linear programming (ILP) solvers and an implementation of the implicit path enumeration technique (IPET).