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

P

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

This procedure only parse the given file and add it to the system.

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

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

Getter for a P part of the compassion condition defined at the given index in the module.

pCompassionAt(int) - Method in class edu.wis.jtlv.env.module.SMVModule

playersWinningStates() - Method in interface edu.wis.jtlv.lib.games.Game

playersWinningStates() - Method in class edu.wis.jtlv.lib.games.GRGame

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

Removes the last compassion added to this module.

popLastCompassion() - Method in class edu.wis.jtlv.env.module.SMVModule

popLastJustice() - Method in class edu.wis.jtlv.env.module.FDSModule

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

Removes the last justice added to this module.

popLastJustice() - Method in class edu.wis.jtlv.env.module.SMVModule

pred(BDD, BDD) - Static method in class edu.wis.jtlv.env.Env

Given a set of state and a transitions, this procedure return all states which can lead in a single step to these states.

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

Given a set of state, this procedure return all states which can lead in a single module step to these states.

presStep() - Method in class edu.wis.jtlv.env.module.SMVModule

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

Given an unprimed BDD, returns the exact same BDD with the primed version of the variables.

prime(BDD, ModuleBDDField[]) - Static method in class edu.wis.jtlv.env.Env

Given a BDD, returns the exact same BDD with the primed version of the given fields array.

prime() - Method in class edu.wis.jtlv.env.module.ModuleBDDField

Get the prime version of this field.

printWinningStrategy() - Method in interface edu.wis.jtlv.lib.games.Game

printWinningStrategy() - Method in class edu.wis.jtlv.lib.games.GRGame

Extracting an arbitrary implementation from the set of possible strategies.

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

putModule(String, Module) - Static method in class edu.wis.jtlv.env.Env

Add a new module to the collection of all modules, and associate it with the given string.