Package edu.wis.jtlv.lib

The main user library, with all published formal algorithm which where implemented through JTLV.

See:
Description

Interface Summary

AlgI	Implement your algorithm, use or ignore what ever phases that you'd like.
AlgResultI	Implement the resulting object, as a string, and as what ever object that you'd like.

Class Summary

AlgResultBDD	BDD results.
AlgResultBoolean	Boolean results.
AlgResultModule	Module results.
AlgResultPath	BDD array results (Path).
AlgResultString	String results.
AlgRunnerThread	A runner thread to execute any kind of algorithm, which implemented the AlgI scheme.
FixPoint<T>	A template for fix-point using for loop.
Simulation	Simulation - NOT YET IMPLEMENTED.

Enum Summary

AlgResultI.ResultStatus

A general flag for the results status.

Exception Summary

AlgExceptionI

A general abstract class for any kind of exception.

Package edu.wis.jtlv.lib Description

The main user library, with all published formal algorithm which where implemented through JTLV.

The base package is responsible for the Infrastructure and some basic facilities.

Version:

"1.3.2"

Author:

yaniv sa'ar.