Package edu.wis.jtlv.env

The main package of JTLV, most creational action are usually done through static procedures in object Env.

See:
Description

Interface Summary

ErrorListener

An environment error listener interface.

Class Summary

Env	The main JTLV environment Facade, which supplies the API to basic functionalities through delegators to the private internal managers.
Env.JTLVBDDToString	The JTLVBDDToString is responsible for naming of the values in the BDD domain.
JTLVThread	JTLVThread is a thread dedicated to BDD operations.

Package edu.wis.jtlv.env Description

The main package of JTLV, most creational action are usually done through static procedures in object Env.

Version:

"1.3.2"

Author:

yaniv sa'ar.