edu.uci.eecs.doc.clepsydra.ipet

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV PACKAGE NEXT PACKAGE

FRAMES NO FRAMES

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.