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

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 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() - Method in class edu.wis.jtlv.env.module.ModuleBDDField

Get the unprime version of this field.