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 _

H

hasDefine(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule

Check whether a define with the given name exists.

hasInstance(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule

Check whether an instance with the given name exists.

hasInstanceArray(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule

Check whether an instance array with the given name exists.

hasParam(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule

Check whether a parameter with the given name exists.

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

Get the subset of states which has successor to the other given set of states.

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

Does this specification has a temporal operator.

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

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

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

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

Check whether a value with the given name exists in any of the variables of the system.

hasVar(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule

Check whether a variable with the given name exists.

hasVarArray(String, boolean) - Method in class edu.wis.jtlv.env.module.SMVModule

Check whether a variable array with the given name exists.