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 _

V

valid(Spec) - Method in class edu.wis.jtlv.old_lib.mc.LTLModelChecker

Check validity for a given LTL property.

validStarndardOutput(Spec) - Method in class edu.wis.jtlv.old_lib.mc.LTLModelChecker

Check validity for a given LTL property.

valueOf(String) - Static method in enum edu.wis.jtlv.env.module.SMVModule.SyncStatus

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.wis.jtlv.env.spec.Operator

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum edu.wis.jtlv.lib.AlgResultI.ResultStatus

Returns the enum constant of this type with the specified name.

values() - Static method in enum edu.wis.jtlv.env.module.SMVModule.SyncStatus

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.wis.jtlv.env.spec.Operator

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum edu.wis.jtlv.lib.AlgResultI.ResultStatus

Returns an array containing the constants of this enum type, in the order they are declared.

version - Static variable in class edu.wis.jtlv.env.Env

JTLV version count.