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

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.

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