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

C

calculate_strategy() - Method in class edu.wis.jtlv.lib.games.GRGame
Extracting an arbitrary implementation from the set of possible strategies.
calculate_strategy(int) - Method in class edu.wis.jtlv.lib.games.GRGame
Extracting an implementation from the set of possible strategies with the given priority to the next step.
clearErrorListener() - Static method in class edu.wis.jtlv.env.Env
Clears the entire listeners queue.
comparable(ModuleBDDField) - Method in class edu.wis.jtlv.env.module.ModuleBDDField
Check whether this object's domain is comparable to the give object domain.
compassionNum() - Method in class edu.wis.jtlv.env.module.ModuleWithStrongFairness
Getter for the number of compassion condition defined in the module.
compassionNum() - Method in class edu.wis.jtlv.env.module.SMVModule
 
conjunctTrans(BDD) - Method in class edu.wis.jtlv.env.module.FDSModule
 
conjunctTrans(BDD) - Method in class edu.wis.jtlv.env.module.Module
Conjunct the transition relation with the given condition.
conjunctTrans(BDD) - Method in class edu.wis.jtlv.env.module.SMVModule
 
containPrimeVars(BDD) - Static method in class edu.wis.jtlv.env.Env
Check whether the given BDD contains prime version of the fields.
containUnprimeVars(BDD) - Static method in class edu.wis.jtlv.env.Env
Check whether the given BDD contains unprime version of the fields.

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