A B C D E F G H I J K L M N O P Q R S T U V X Y Z _

E

edu.wis.jtlv.env.module - package edu.wis.jtlv.env.module

Package dedicated to the user's modules interface.

edu.wis.jtlv.env.spec - package edu.wis.jtlv.env.spec

Package dedicated to the user's specifications interface.

edu.wis.jtlv.lib - package edu.wis.jtlv.lib

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

edu.wis.jtlv.lib.games - package edu.wis.jtlv.lib.games

The library with all games algorithms which where implemented using JTLV.

edu.wis.jtlv.lib.mc - package edu.wis.jtlv.lib.mc

The library containing all implemented model checking algorithms.

edu.wis.jtlv.lib.mc.tl - package edu.wis.jtlv.lib.mc.tl

edu.wis.jtlv.old_lib.games - package edu.wis.jtlv.old_lib.games

The old library with games algorithms which where implemented through JTLV.

edu.wis.jtlv.old_lib.mc - package edu.wis.jtlv.old_lib.mc

The old library containing model checking algorithms.

elementName(BDDDomain, BigInteger) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString

elementName(int, BigInteger) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString

elementNames(BDDDomain, BigInteger, BigInteger) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString

elementNames(int, BigInteger, BigInteger) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString

elimSuccChains(BDD) - Method in class edu.wis.jtlv.env.module.Module

Eliminate states from scc which have no successors within scc.

Env - Class in edu.wis.jtlv.env

The main JTLV environment Facade, which supplies the API to basic functionalities through delegators to the private internal managers.

Env.JTLVBDDToString - Class in edu.wis.jtlv.env

The JTLVBDDToString is responsible for naming of the values in the BDD domain.

envWinningStates() - Method in class edu.wis.jtlv.old_lib.games.GR1Game

Getter for the system's winning states.

envWinningStates() - Method in class edu.wis.jtlv.old_lib.games.RkGame

Getter for the system's winning states.

equals(Object) - Method in class edu.wis.jtlv.env.module.ModuleEntity

Overrides the Object.equals(Object).

equals(Object) - Method in interface edu.wis.jtlv.env.spec.Spec

Implementors are required to provide the equals since two (syntactically) identical specifications, which are different object will return false to the usual equals.

equals(Object) - Method in class edu.wis.jtlv.env.spec.SpecBDD

equals(Object) - Method in class edu.wis.jtlv.env.spec.SpecCTLRange

equals(Object) - Method in class edu.wis.jtlv.env.spec.SpecExp

equals(Object) - Method in class edu.wis.jtlv.old_lib.games.Memory.Permutation

ErrorListener - Interface in edu.wis.jtlv.env

An environment error listener interface.

evalBDD() - Method in class edu.wis.jtlv.env.module.ModuleBDDDefine

Evaluate the statement, and return the BDD value.

evalInt() - Method in class edu.wis.jtlv.env.module.ModuleBDDDefine

Evaluate the statement, and return an array of integer values.

executeMacro(Spec) - Method in interface edu.wis.jtlv.env.spec.Macro