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

R

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

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

register_domain_module_values(SMVModule, BDDDomain, String[]) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString

register_domain_module_values(SMVModule, BDDDomain, int, int) - Method in class edu.wis.jtlv.env.Env.JTLVBDDToString

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

Register an error listener to be invoked on every error which is thrown in the JTLV environment.

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

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

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

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

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

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

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

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

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

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

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

Remove an error listener from the queue of listeners.

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

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

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

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

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

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

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

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

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

Reset the environment.

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

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

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

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

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

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