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

U

unprime(BDD) - Static method in class edu.wis.jtlv.env.Env
Given a primed BDD, returns the exact same BDD with the unprimed version of the fields.
unprime(BDD, ModuleBDDField[]) - Static method in class edu.wis.jtlv.env.Env
Given a BDD, returns the exact same BDD with the unprimed version of the given fields array.
unprime(BDD) - Method in class edu.wis.jtlv.env.module.Module
Unprime the given BDD with respect to the variable in this module.
unprime() - Method in class edu.wis.jtlv.env.module.ModuleBDDField
Get the unprime version of this field.
unprimeVars() - Method in class edu.wis.jtlv.env.module.Module
Getter for the unprimed variable of this module.

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