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 _

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.

next_contained(BDD) - Method in class edu.wis.jtlv.old_lib.games.Memory

next_intersect(BDD, BDD, Memory.Permutation, Memory.Permutation) - Method in class edu.wis.jtlv.old_lib.games.Memory

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

An empty procedure for shutting down the factory verbose.

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

Getter for the number of operands to this operator.