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 _

U

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

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

Given a BDD, returns the same BDD in its unprime version of the fields.

unprime(BDD, ModuleBDDField[]) - Static method in class edu.wis.jtlv.env.Env

Given a BDD, returns the same BDD with the unprime version of the given array of fields.

unprime() - Method in class edu.wis.jtlv.env.module.ModuleBDDField

Get the unprime version of this field.