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 _

F

FALSE() - Static method in class edu.wis.jtlv.env.Env

The constant FALSE BDD.

FDSFileConstructionTest - Class in <Unnamed>

FDSFileConstructionTest() - Constructor for class FDSFileConstructionTest

FDSModule - Class in edu.wis.jtlv.env.module

An object which represent an FDS module.

FDSModule(String) - Constructor for class edu.wis.jtlv.env.module.FDSModule

The main constructor for this kind of module, which creates an empty module.

FDSModule(String, String[]) - Constructor for class edu.wis.jtlv.env.module.FDSModule

A constructor which receive an array of variables to be declared with initiation.

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

This is essentially algorithm "FEASIBLE", from the article:
Yonit Ketsen, Amir Pnueli, Li-on Raviv, Elad Shahar, "Model checking with strong fairness".

feasible() - Method in class edu.wis.jtlv.env.module.ModuleWithStrongFairness

This is essentially algorithm "FEASIBLE", from the article:
Yonit Ketsen, Amir Pnueli, Li-on Raviv, Elad Shahar, "Model checking with strong fairness".

feasible() - Method in class edu.wis.jtlv.env.module.ModuleWithWeakFairness

This is essentially algorithm "FEASIBLE", from the article:
Yonit Ketsen, Amir Pnueli, Li-on Raviv, Elad Shahar, "Model checking with strong fairness".

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

Version which allows justice and compassion requirement to refer to the next state.

feasible2() - Method in class edu.wis.jtlv.env.module.ModuleWithStrongFairness

Version which allows justice and compassion requirement to refer to the next state.

feasible2() - Method in class edu.wis.jtlv.env.module.ModuleWithWeakFairness

Version which allows justice and compassion requirement to refer to the next state.

FileConstructionTest - Class in <Unnamed>

FileConstructionTest() - Constructor for class FileConstructionTest

find_intersect(BDD, Memory.Permutation, Memory.Permutation) - Method in class edu.wis.jtlv.old_lib.games.Memory

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

firstPlayersWinningStates() - Method in interface edu.wis.jtlv.old_lib.games.TwoPlayersGame

FixPoint<T> - Class in edu.wis.jtlv.lib

A template for fix-point using for loop.

FixPoint() - Constructor for class edu.wis.jtlv.lib.FixPoint

FixPoint(T) - Constructor for class edu.wis.jtlv.lib.FixPoint

FutureLTLOp - Static variable in enum edu.wis.jtlv.env.spec.Operator