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

N

newVar(String, String, int) - Static method in class edu.wis.jtlv.env.Env

Create and allocate a new BDD FIELD with the given domain size, i.e.

newVar(String, String) - Static method in class edu.wis.jtlv.env.Env

Create and allocate a new BDD FIELD with 2 values domain.

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

An empty procedure for shutting down the Garbage collection verbosity.

numOfOperands() - Method in enum edu.wis.jtlv.env.spec.Operator